Mathlib v3 is deprecated. Go to Mathlib v4

Def linear_map.comp_right

Modification history

2020-03-13 12:20

src/linear_algebra/basic.lean

chore(linear_algebra/basic): simplify two proofs (#2123) …

Added linear_map.comp_right View on Github →