Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 x2 . and (and (and (MagmaHom x0 x1 x2) (MagmaHom x0 x1 x2)) (BinRelnHom x0 x1 x2)) (UnaryPredHom x0 x1 x2)
as obj
c4193..
as prop
-
theory
HotG
stx
79602..
address
TMJDe..