Theorem Finset.esymm_map_val

Modification history