Theorem Nat.not_succ_le_zero

Modification history