Theorem Nat.mod_two_of_bodd

Modification history