Theorem ContinuousLinearMap.map_neg₂

Modification history