[Hol-info] Proving a trivial goal

[Scott O. <S.A...@ke...>]

Does anyone know how to prove this goal:

∀(p1,p1',p2). T

I’m not sure how I got it, and I can’t work out how to prove it, but it’s probably true :)

Scott