Theorem Ordinal.IsLimit.succ_lt

Modification history