Theorem Matrix.num_div_den

Modification history