Theorem Finset.exists_maximalFor

Modification history