Theorem Matrix.num_ofNat

Modification history