Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 x3 : ι → ι . (∀ x4 . In x4 x0Subq (x2 x4) (x3 x4))Subq x0 x1(∀ x4 . In x4 x1nIn x4 x0In 0 (x3 x4))Subq (Pi x0 x2) (Pi x1 x3)
as obj
-
as prop
755f8..Pi_0_mon
theory
HF
stx
89549..
address
TMSLa..Pi_0_mon