Theorem Matrix.single_eq_of_single_single

Modification history