Commit 2023-09-27 08:12 aa7c8c33
View on Github →feat: Embed a gen. Bool. alg. into a Bool. alg. (#7371)
This is useful to prove that Boolean algebra results not mentioning compl
and top
also hold in generalised Boolean algebras.
feat: Embed a gen. Bool. alg. into a Bool. alg. (#7371)
This is useful to prove that Boolean algebra results not mentioning compl
and top
also hold in generalised Boolean algebras.