Theorem isOpen_binterᵢ

Modification history