Theorem Matrix.toBilin_symm

Modification history