Equality is a left-Euclidean binary relation. Uncurried (imported) form of equeucl. (Contributed by NM, 12-Aug-1993.) (Proof shortened by Andrew Salmon, 25-May-2011.) (Proof shortened by BJ, 11-Apr-2021.)
Equality is a left-Euclidean binary relation. Uncurried (imported) form of equeucl. (Contributed by NM, 12-Aug-1993.) (Proof shortened by Andrew Salmon, 25-May-2011.) (Proof shortened by BJ, 11-Apr-2021.)