mathlib
6cac4a9b - localize congruence infix notation ≅

Commit

3 years ago

localize congruence infix notation ≅

References

#18214 - feat(geometry/euclidean/congruence): define congruences

Author

JovanGerb

JovanGerb

Parents

Loading