Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-18 18:27 61d0c65a

View on Github →

refactor(ring_theory/matrix): use pi instances

Estimated changes

Modified algebra/pi_instances.lean

Modified ring_theory/matrix.lean

modified theorem matrix.add_val

modified theorem matrix.neg_val

modified theorem matrix.zero_val