Theorem Finset.inf'_id_eq_cInf

Modification history