Theorem Matrix.one_div_pow

Modification history