Theorem Ordinal.isOpen_iff

Modification history