Theorem isOpen_interᵢ_prop

Modification history