Theorem ContinuousLinearMap.ker_codRestrict

Modification history