Si R es un retículo y x, y ∈ R, entonces x ⊔ y = y ⊔ x

Demostrar que si R es un retículo y x, y ∈ R, entonces x ⊔ y = y ⊔ x.

Para ello, completar la siguiente teoría de Lean:

Read More «Si R es un retículo y x, y ∈ R, entonces x ⊔ y = y ⊔ x»