mathlib3
5a722ba2
- remove exit
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
remove exit
References
congruences
#18214 - feat(geometry/euclidean/congruence): define congruences
Author
JovanGerb
Parents
2249067a
Loading
