Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι . λ x2 . ∀ x3 . SNo x3SNoLt 0 x3∀ x4 : ο . (∀ x5 . and (x5x0) (∀ x6 . x6setminus x0 x5SNoLt (abs_SNo (add_SNo (x1 x6) (minus_SNo x2))) x3)x4)x4
as obj
2be79..
as prop
-
theory
HotG
stx
26642..
address
TMYM9..