Theorem Nat.odd_of_mod_four_eq_three

Modification history