Theorem Matrix.single_apply_same

Modification history