Commit 2020-02-18 00:40 b373daea
View on Github →feat(linear_algebra/contraction): define contraction maps between a module and its dual (#1973)
- feat(linear_algebra/contraction): define contraction maps between a module and its dual
- Implicit carrier types for smul_comm
- Add comment with license and file description
- Build on top of extant linear_map.smul_right
- Feedback from code review