Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2017-12-05 18:13
0e3b1567
View on Github →
fix(algebra/module): remove instance endomorphism_ring, it breaks real.lean
Estimated changes
Modified
algebra/module.lean
added
def
module.endomorphism_ring
modified
def
module.general_linear_group