Diff — Linear map

Revision #3309 → #3860 · back to history

addedLinear operators on finite-dimensional normed spaces are continuous01ca1f4c0b5f

addedComposition of linear maps is associative71b314294f91

addedBounded linear mapf0a13195a2b5