Mathlib Changelog
v4
Changelog
About
Github
Theorem
SubMulAction.mem_one
Modification history
2023-01-30 08:08
Mathlib/GroupTheory/GroupAction/SubMulAction/Pointwise.lean
feat: port GroupTheory.GroupAction.SubMulAction.Pointwise (#1893)
Added
SubMulAction.mem_one
View on Github →