Theorem Finset.isGreatest_max'

Modification history