Def linear_map.congr_right
Modification history
2020-03-13 12:20
src/linear_algebra/basic.lean
chore(linear_algebra/basic): simplify two proofs (#2123) …
Deleted linear_map.congr_rightView on Github →2019-10-10 11:14
src/linear_algebra/basic.lean
chore(linear_algebra): rename type variables (#1521) …
Modified linear_map.congr_rightView on Github →