Theorem Finset.ofDual_max'

Modification history