Theorem LinearMap.toMatrix'_toLinearMap₂'

Modification history