Theorem Nat.Subtype.succ_le_of_lt

Modification history