Theorem Matrix.single_zero

Modification history