Theorem Subgroup.mem_closure_iff_of_fintype

Modification history

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