Theorem Nat.iSup_le_succ

Modification history