Theorem Finset.inf_le

Modification history