Theorem List.Func.equiv_of_eq

Modification history