Theorem ContinuousLinearMap.default_def

Modification history