Theorem ContinuousAffineMap.comp_contLinear

Modification history