congruence): define congruences
#18214

Open

Commits

feat(geometry/euclidean/congruence): define congruences

JovanGerb committed 3 years ago
fix copyright typo

JovanGerb committed 3 years ago
localize congruence infix notation ≅

JovanGerb committed 3 years ago
Merge remote-tracking branch 'origin/master' into congruences

JovanGerb committed 3 years ago
split into different files

JovanGerb committed 3 years ago
improvements

JovanGerb committed 3 years ago
define similarities

JovanGerb committed 3 years ago
remove exit

JovanGerb committed 3 years ago