Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-08 00:49 13febeec

View on Github →

fix(group_theory/perm): fix to_additive use

Estimated changes

added theorem finset.sum_univ_perm