Theorem Matrix.cons_val_fin_one

Modification history