mathlib
ec822277 - chore(group_theory/perm/sign): Add swap_mul_involutive (#5141)

Commit
5 years ago
chore(group_theory/perm/sign): Add swap_mul_involutive (#5141) This is just a bundled version of swap_mul_self_mul
Author
Parents
Loading