Theorem Finset.max_empty

Modification history