Theorem Set.Finite.isGδ_compl

Modification history