Commit 2022-09-27 09:35 3397560e
View on Github →chore(topology/algebra/module/basic): remove continuous_linear_map.ker
and continuous_linear_map.range
(#16208)
This PR removes continuous_linear_map.ker
and continuous_linear_map.range
, which are now obsolete since linear_map.ker
and linear_map.range
are defined for any linear_map_class
morphism.