Theorem Matrix.of_symm_single

Modification history