Search for blocks/addresses/...

Proofgold Term Root Disambiguation

2 = 1∀ x0 : ο . x0
as obj
-
as prop
2949c..neq_2_1
theory
HotG
stx
019b2..
address
TMHNL..neq_2_1