Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι . inj x0 x1 x2(∀ x3 . In x3 x1∀ x4 : ο . (∀ x5 . and (In x5 x0) (x2 x5 = x3)x4)x4)bij x0 x1 x2
as obj
-
as prop
e5c63..bijI
theory
HF
stx
89549..
address
TMHwY..bijI