Theorem ContinuousLinearMap.extend_zero

Modification history