distributive-lattice public under mathematical-lattice 10 List Picture As a command heyting-algebra 1 All 2 below distributive-lattice →