Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

T:. eq:{T}. L,M:T List. disjoint(eq;L;M) disjoint(eq;L;M)

Applied Tactic: UnivCD THENA Auto THEN EquivT 2
Generated subgoals:

1. disjoint(eq;L;M) disjoint(eq;L;M)