Theorem Finset.map_ofDual_max

Modification history