Def IsBoundedLinearMap.toContinuousLinearMap

Modification history