Theorem Set.Finite.isClopen_biInter

Modification history