Theorem Finset.inf_one

Modification history