Theorem isOpen_biInter_finset

Modification history