mathlib
cfeef526
- fix import
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
fix import
References
Dihedral-Group-Lemmas
#8559 - feat(analysis/complex/isometry): Homomorphism from Dihedral Group into Linear Isometries of C
Author
YaelDillies
Parents
79eb5555
Loading
