Theorem Finset.ofDual_min'

Modification history