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?
refactor(group/perm) bundle sign of a perm as a monoid_hom (#3143) We're trying to bundle everything right?