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

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

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

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