Theorem ContinuousLinearMap.isPositive_one

Modification history