Theorem Matrix.comp_map_transpose

Modification history