Theorem Finset.max_mono

Modification history