Theorem smul_inv''
Modification history
2024-07-02 08:10
Mathlib/Algebra/Ring/Action/Basic.lean
chore: delay imports of Rat/Field (#14326)
Modified smul_inv''View on Github →2022-12-26 20:25
Mathlib/Algebra/GroupRingAction/Basic.lean
feat port: Algebra.GroupRingAction.Basic (#1225) …
Added smul_inv''View on Github →