Theorem Matrix.single_hadamard_single_eq

Modification history