Theorem ContinuousAffineMap.sub_contLinear

Modification history