# Congruence of nondegenerate triangles with explicit correspondence

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

[Catalogue presentation and source-binding data](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [Congruence of nondegenerate triangles with explicit correspondence](https://ocme.evemisslab.com/en/atlas/atlas-congruence/)

In an equal-unit orthonormal plane, this slice compares all three corresponding side lengths of labeled nondegenerate triangles and allows reflection.

atlas-congruence · canonical_mko

[Congruence of nondegenerate triangles with explicit correspondence](https://ocme.evemisslab.com/en/mko/mko-congruence/)

## Prerequisite nodes


- [Triangle](https://ocme.evemisslab.com/en/atlas/atlas-triangle/)
- [Euclidean distance in an equal-unit orthonormal frame](https://ocme.evemisslab.com/en/atlas/atlas-distance-formula/)
- [Determinants of real 2×2 matrices](https://ocme.evemisslab.com/en/atlas/atlas-determinant/)