Theorem Matrix.eta_fin_three

Modification history