#
Homotopy Type Theory
distributive lattice > history (Rev #5, changes)

Showing changes from revision #4 to #5:
Added | ~~Removed~~ | ~~Chan~~ged

# Contents

< distributive lattice

~~
~~## Definition

~~
~~A **distributive lattice** is a lattice $(L, \leq, \bot, \vee, \top, \wedge)$ with

~~
~~~~
~~representing the distributive property for the lattice.

~~
~~## See also

~~
~~~~
~~## References

~~
~~
Revision on June 10, 2022 at 11:52:13 by
Anonymous?.
See the history of this page for a list of all contributions to it.