Theorem setOf_isOpen_supᵢ

Modification history