Theorem Finset.min'_eq_inf'

Modification history