Def ContinuousLinearMap.toLinearMap₁₂

Modification history