Theorem ContinuousLinearMap.ext_on

Modification history