Theorem Finset.inf_eq_infᵢ

Modification history