Theorem Doset.doset_eq_image2

Modification history

2023-12-29 06:46
Mathlib/GroupTheory/DoubleCoset.lean
refactor(*): change definition of `Set.image2` etc (#9275) …
Added Doset.doset_eq_image2View on Github →