Theorem prod.is_linear_map_prod_fst
Modification history
2018-11-05 10:47
linear_algebra/prod_module.lean
feat(linear_algebra,ring_theory): refactoring modules (#456) …
Deleted prod.is_linear_map_prod_fstView on Github →2018-09-20 19:46
linear_algebra/prod_module.lean
fix(algebra/pi_instances): bugfix
Added prod.is_linear_map_prod_fstView on Github →