Theorem Order.IsSuccLimit.ordinalPred_eq

Modification history