Theorem Matrix.num_one

Modification history