Proofgold Term Root Disambiguation

∀ x0 : ι → ι . famunion 0 x0 = 0

as obj
-

as prop
22bd1..^{famunion_Empty}

theory
HotG

stx
0d8c8..

address
TMZjH..^{famunion_Empty}