Theorem Finset.map_univ_equiv

Modification history