Theorem ContinuousLinearMap.projKerOfRightInverse_apply_idem

Modification history