mathlib
c0d74a39 - refactor(group/perm) bundle sign of a perm as a monoid_hom (#3143)

Commit

5 years ago

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

Author

alexjbest

Parents