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