Commit 2020-11-28 19:38 ec822277
View on Github →chore(group_theory/perm/sign): Add swap_mul_involutive (#5141) This is just a bundled version of swap_mul_self_mul
chore(group_theory/perm/sign): Add swap_mul_involutive (#5141) This is just a bundled version of swap_mul_self_mul