Mathlib Changelog
v4
Changelog
About
Github
Theorem
invOf_two_smul_add_invOf_two_smul
Modification history
2024-04-29 13:25
Mathlib/Algebra/Module/Basic.lean
chore: split Algebra.Module.Basic (#12501) …
Modified
invOf_two_smul_add_invOf_two_smul
View on Github →
2023-04-09 07:30
Mathlib/Algebra/Module/Basic.lean
fix: `inv_of` -> `invOf` (#3336)
Added
invOf_two_smul_add_invOf_two_smul
View on Github →