Theorem isClosed_binterᵢ

Modification history