Theorem LinearMap.toMatrix₂_comp

Modification history