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

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

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

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