Theorem Set.Finite.finite_of_compl

Modification history