Theorem ContinuousLinearMap.toLinearMap₁₂_apply

Modification history