Theorem Matrix.cons_fin_one

Modification history