Theorem Finset.iInf_insert

Modification history