Theorem ContinuousLinearMap.toExposed.isExposed

Modification history