Theorem Matrix.comp_single_single

Modification history