Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (bj_cpr2 x0) (bj_cproj c1o x0)

as obj
-

as prop
359c2..

theory
SetMM

stx
1f583..

address
TMczr..