Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . SNoLe x0 x1PNoLe (SNoLev x0) (λ x2 . In x2 x0) (SNoLev x1) (λ x2 . In x2 x1)
as obj
-
as prop
359b8..SNoLeE
theory
HF
stx
8964b..
address
TML8b..SNoLeE