linear_map): use morphisms class for lemmas about linear [pre]images of `c • S` (#15103)

Commit

3 years ago

feat(algebra/module/linear_map): use morphisms class for lemmas about linear [pre]images of `c • S` (#15103)

Author

ADedecker

Parents