Def IsBoundedLinearMap.toLinearMap

Modification history