Theorem LeftOrdContinuous.map_is_greatest

Modification history