Theorem Ordinal.IsNormal.apply_le_nfp

Modification history