Theorem mem_of_star_mem

Modification history

2025-07-15 08:10
Mathlib/Algebra/Star/Basic.lean
feat(Aesop): Improve SetLike ruleset (#25961) …
Added mem_of_star_memView on Github →