mathlib
f0af9c53
- Merge branch 'master' into jordan-triples
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Merge branch 'master' into jordan-triples
References
#11553 - feat(algebra/jordan/triple): Introduce Jordan triples
Author
YaelDillies
Parents
5663a3ff
40b59523
Loading
