Theorem Finset.toDual_max'

Modification history