Theorem Matrix.sub_cons

Modification history