Theorem Matrix.den_ofNat

Modification history