mathlib3
3c6f16c3
- feat(algebra/group/conj): instances + misc (#13943)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(algebra/group/conj): instances + misc (#13943) Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>
Author
ericrbg
Parents
c8f2a1f4
Loading