Theorem Nat.weird_seventy

Modification history