Overlaying declarations and graphics

Theorem
Every nite distributive lattice can be embedded in a boolean
lattice.
Proof.
Use join-irreducible elements.
Our rst nice result
Overlaying declarations and graphics
Theorem
Every nite distributive lattice can be embedded in a boolean
lattice.
Proof.
Use join-irreducible elements.
Our rst nice result
Overlaying declarations and graphics
Theorem
Every nite distributive lattice can be embedded in a boolean
lattice.
Proof.
Use join-irreducible elements.
Our rst nice result