Theorem ContinuousLinearMap.proj_pi

Modification history