Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-23 04:53 c0d74a39

View on Github →

refactor(group/perm) bundle sign of a perm as a monoid_hom (#3143) We're trying to bundle everything right?

Estimated changes