Theorem Finset.inf'_lt_iff

Modification history