Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . x1x0∀ x2 . x2x0(x1 = x2∀ x3 : ο . x3)(∀ x3 . x3x0or (x3 = x1) (x3 = x2))equip 2 x0
as obj
-
as prop
1c73f..
theory
HotG
stx
594e8..
address
TMMSK..