mathlib3
131d04f4
- Merge remote-tracking branch 'origin/master' into congruences
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Merge remote-tracking branch 'origin/master' into congruences
References
#18214 - feat(geometry/euclidean/congruence): define congruences
Author
JovanGerb
Parents
6cac4a9b
1126441d
Loading
