equivalence — Mathlib

English

Equivalence on Computation α is an equivalence relation: reflexive, symmetric, and transitive.

Русский

Эквивалентность вычислений на α является отношением эквивалентности: рефлексивно, симметрично и транзитивно.

LaTeX

$$The relation on Computation α is an equivalence relation.$$

Lean4

theorem equivalence : Equivalence (@Equiv α) :=
  ⟨@Equiv.refl _, @Equiv.symm _, @Equiv.trans _⟩

Похожие утверждения