Theorem LinearMap.toMatrix₂_symm

Modification history