congruence): define congruences
#18214

Open

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

JovanGerb wants to merge 8 commits into master from congruences

feat(geometry/euclidean/congruence): define congruences

eb4384e4

fix copyright typo

56613daf

localize congruence infix notation ≅

6cac4a9b

jsm28 commented on 2023-01-18

Merge remote-tracking branch 'origin/master' into congruences

131d04f4

split into different files

f96e8fd4

JovanGerb marked this pull request as draft 2 years ago

improvements

27d6ef7d

define similarities

2249067a

remove exit

5a722ba2

kim-em added awaiting-author

kim-em added awaiting-CI

kim-em added too-late

Reviewers

jsm28

Assignees

No one assigned

Labels

awaiting-author awaiting-CI too-late

Milestone

No milestone