Theorem Submonoid.mem_closure_iff_of_fintype

Modification history

2025-09-21 20:41
Mathlib/Algebra/Group/Submonoid/Finsupp.lean
feat(Algebra): add `mem_closure_iff_of_fintype` and `mem_closure_finset'` (#29793) …
Added Submonoid.mem_closure_iff_of_fintypeView on Github →