Theorem Set.Finite.isOpen_sInter

Modification history