basic): continuous versions of `linear_map.comp_sub` and variants (#15870)

Commit

3 years ago

feat(topology/algebra/module/basic): continuous versions of `linear_map.comp_sub` and variants (#15870)

Author

ADedecker

Parents