Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (clb x0) (cub (ccnv x0))

as obj
-

as prop
0d2a7..

theory
SetMM

stx
29eaf..

address
TMRhf..