distributive-lattice As a command 2 categories below distributive-lattice Narrow by heyting-algebra 1 heyting-algebra 1boolean-algebra