Theorem Matrix.eta_fin_two

Modification history