Theorem Nat.odd_totient_iff_eq_one

Modification history