------------------------------------------------------------------------ -- The Agda standard library -- -- This module is DEPRECATED. ------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} open import Algebra.Lattice module Algebra.Properties.BooleanAlgebra.Expression {b} (B : BooleanAlgebra b b) where {-# WARNING_ON_IMPORT "Algebra.Properties.BooleanAlgebra.Expression was deprecated in v2.0. Use Algebra.Lattice.Properties.BooleanAlgebra.Expression instead." #-} open import Algebra.Lattice.Properties.BooleanAlgebra.Expression