Theorem eq_of_fin_equiv

Modification history