Theorem ContinuousLinearMap.norm_id

Modification history