Theorem Matrix.one_fin_three

Modification history