Commit 2025-06-22 20:09 f29580df
View on Github →refactor: deprecate module BooleanAlgebra.lean (#26275)
Add back BooleanAlgebra.lean that imports both BooleanAlgebra/Defs.lean and BooleanAlgebra/Basic.lean and deprecates the module.
refactor: deprecate module BooleanAlgebra.lean (#26275)
Add back BooleanAlgebra.lean that imports both BooleanAlgebra/Defs.lean and BooleanAlgebra/Basic.lean and deprecates the module.