Def continuous_affine_map.to_const_prod_continuous_linear_map

Modification history