Theorem isOpen_biInter

Modification history