Theorem Nat.Subtype.lt_succ_iff_le

Modification history