Theorem SubMulAction.mem_mul

Modification history

2023-12-29 06:46
Mathlib/GroupTheory/GroupAction/SubMulAction/Pointwise.lean
refactor(*): change definition of `Set.image2` etc (#9275) …
Modified SubMulAction.mem_mulView on Github →
2023-01-30 08:08
Mathlib/GroupTheory/GroupAction/SubMulAction/Pointwise.lean
feat: port GroupTheory.GroupAction.SubMulAction.Pointwise (#1893)
Added SubMulAction.mem_mulView on Github →