Congruence of nondegenerate triangles with explicit correspondence
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