Def ContinuousLinearMap.toLinearMap₂

Modification history