Theorem Subgroup.closure_mul_image_eq

Modification history

2025-01-03 11:02
Mathlib/GroupTheory/Schreier.lean
chore: turn left and right transversals from sets to types (#20041) …
Modified Subgroup.closure_mul_image_eqView on Github →
2023-06-06 04:38
Mathlib/GroupTheory/Schreier.lean
feat: port GroupTheory.Schreier (#4706)
Added Subgroup.closure_mul_image_eqView on Github →