Theorem List.Func.eq_of_equiv

Modification history