mathlib3
1914bfa3 - Merge branch 'master' into jordan-triples

Commit

3 years ago

Merge branch 'master' into jordan-triples

References

#11553 - feat(algebra/jordan/triple): Introduce Jordan triples

Author

mans0954

mans0954

Parents

Loading