Isn’t the actual proof of this theorem really complicated?

On that note, jeroba throws an error every time i open it about how this instance is older than the lowest supported version, but it seems like i can still use most of the sites functinality? Just thought i’d mention that

Gotta make graph theory appealing to ge kids somehow

monoids don’t care about your feelings. they got identity, associativity and anything else is your problem