boolean-algebra public under heyting-algebra 1 List Picture As a command Nothing is filed under boolean-algebra.