Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . SNo x0SNo_ (ordsucc (SNoLev x0)) (SNo_extend1 x0)
as obj
-
as prop
73bbf..SNo_extend1_SNo_
theory
HotG
stx
fab7c..