Theorem Set.Finite.exists_maximalFor'

Modification history