Theorem Finset.inf'_le_iff

Modification history