Theorem LinearMap.isPositive_one

Modification history