Theorem Finset.exists_inf_le

Modification history