mathlib3
eb5e3862
- chore(group_theory/perm/sign): Golf another proof
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
chore(group_theory/perm/sign): Golf another proof
References
#3770 - feat(group/perm/sign): swap_adj_induction_on
Author
eric-wieser
Parents
ffbeb5f3
Loading
