Theorem LinearMap.toMatrix₂_toLinearMap₂

Modification history