Theorem Ordinal.IsNormal.map_iSup_of_bddAbove

Modification history