Theorem ContinuousAffineMap.contLinear_map_vsub

Modification history