Theorem ContinuousLinearMap.completeSpace

Modification history