Theorem Finset.inf_insert

Modification history