Theorem ContinuousLinearMap.map_sub₂

Modification history