Theorem Ordinal.isClosedBelow_iff

Modification history