Theorem is_unit_smul_iff

Modification history

2022-12-23 13:50
Mathlib/GroupTheory/GroupAction/Group.lean
chore: fix casing per naming scheme (#1183) …
Deleted is_unit_smul_iffView on Github →
2022-12-22 16:23
Mathlib/GroupTheory/GroupAction/Group.lean
feat port: GroupTheory.GroupAction.Group (#1146)
Added is_unit_smul_iffView on Github →