Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ο . ∀ x2 . ordinal x2∀ x3 . In x3 x2PNoLt_ x3 x0 x1PNoLt_ x2 x0 x1
as obj
-
as prop
527c6..PNoLt_mon_
theory
HF
stx
5e00d..
address
TMH7D..PNoLt_mon_