mathlib
c9e8f9ce - Update src/algebra/star/pi.lean
Commit
View On GitHub
Commit
3 years ago
Update src/algebra/star/pi.lean Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>
Author
mans0954 mans0954
Parents
84da9f33
FAQ Terms Privacy Refunds Impressum
Loading