Theorem Booleanisation.liftLatticeHom_injective

Modification history

2023-09-27 08:12
Mathlib/Order/Booleanisation.lean
feat: Embed a gen. Bool. alg. into a Bool. alg. (#7371) …
Added Booleanisation.liftLatticeHom_injectiveView on Github →