Theorem Finset.map_perm

Modification history