Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι → ι . and (explicit_Group x0 x1) (explicit_abelian x0 x1)

as obj
127dd..

as prop
-

theory
HotG

stx
f2807..

address
TMcqe..