Theorem invOf_two_smul_add_invOf_two_smul

Modification history

2024-10-24 15:01
Mathlib/Algebra/Module/Basic.lean
chore(Algebra/Module): split `Defs` a bit further (#18169) …
Modified invOf_two_smul_add_invOf_two_smulView on Github →
2024-04-29 13:25
Mathlib/Algebra/Module/Basic.lean
chore: split Algebra.Module.Basic (#12501) …
Modified invOf_two_smul_add_invOf_two_smulView on Github →
2023-04-09 07:30
Mathlib/Algebra/Module/Basic.lean
fix: `inv_of` -> `invOf` (#3336)
Added invOf_two_smul_add_invOf_two_smulView on Github →