Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-18 00:04 d60d1616

View on Github →

feat(linear_algebra/basic): add ring instance (#823)

Estimated changes

Modified src/linear_algebra/basic.lean

deleted def linear_map.endomorphism_ring

modified def linear_map.general_linear_group

Modified src/ring_theory/algebra.lean