Theorem Set.Finite.infinite_compl

Modification history