mathlib
44d5d14d - Make it non-assoc
Commit
View On GitHub
Commit
3 years ago
Make it non-assoc
References
centroid_star
Author
mans0954 mans0954
Parents
18038273
FAQ Terms Privacy Refunds Impressum
Loading