Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . 0 = ordsucc x0∀ x1 : ο . x1
as obj
-
as prop
04c41..neq_0_ordsucc
theory
HotG
stx
18c18..
address
TMQj2..neq_0_ordsucc