Theorem Set.Finite.isCompact_exterior

Modification history