Theorem LinearMap.isPositive_zero

Modification history