Theorem Matrix.num_zero

Modification history