Counting Is Hardcounting_is_hard@mathstodon.xyzOct 8, 2026, 9:30 AMIf people could start writing down the proofs of things "everyone knows" that'd be great
