Theorem Set.Finite.exists_maximalFor

Modification history