Def CompletelyPositiveMapClass.toCompletelyPositiveLinearMap

Modification history