Theorem Nat.odd_totient_iff

Modification history