Theorem Finset.inf_id_eq_sInf

Modification history