Theorem ContinuousAffineMap.neg_contLinear

Modification history