Theorem BooleanSubalgebra.mem_closure_of_mem

Modification history

2025-07-15 08:10
Mathlib/Order/BooleanSubalgebra.lean
feat(Aesop): Improve SetLike ruleset (#25961) …
Added BooleanSubalgebra.mem_closure_of_memView on Github →