Theorem Set.Finite.isOpen_biInter

Modification history