Theorem CompactlyCoherentSpace.isOpen_iff_forall_compactSpace

Modification history