Theorem isOpen_iInter_of_finite

Modification history