Theorem ContinuousAffineMap.coe_linear_eq_coe_contLinear

Modification history