Theorem Ordinal.IsAcc.isSuccLimit

Modification history