Theorem Ordinal.IsAcc.isLimit

Modification history