Theorem Finset.max_one

Modification history