Theorem Nat.bodd_zero

Modification history