mathlib
05b8da86
- fix merge accident
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
fix merge accident
References
#11553 - feat(algebra/jordan/triple): Introduce Jordan triples
Author
YaelDillies
Parents
f0af9c53
Loading
