Theorem ContinuousLinearMap.proj_apply

Modification history