Theorem Matrix.den_map_natCast

Modification history