Mathlib v3 is deprecated. Go to Mathlib v4

Theorem eq_of_smul_eq_smul

Modification history

2021-08-06 21:15
src/algebra/group_ring_action.lean
feat(group_action/defs): generalize faithful actions (#8555) …
Deleted eq_of_smul_eq_smulView on Github →
2020-09-14 08:03
src/algebra/group_ring_action.lean
feat(field_theory/fixed): dimension over fixed field is order of group (#4125) …
Added eq_of_smul_eq_smulView on Github →