Theorem Ordinal.IsNormal.limit_lt

Modification history