mathlib3
cc3c8aa5 - feat(group_theory): generalize `normal_map` (#17808)
Commit
View On GitHub
Commit
3 years ago
feat(group_theory): generalize `normal_map` (#17808)
Author
urkud urkud
Parents
6c5959aa
FAQ Terms Privacy Refunds Impressum
Loading