Theorem Finset.le_inf_const_le

Modification history