Theorem Nat.land_zero

Modification history