Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ minus_SNo x0 = SNoCut (prim5 (SNoR x0) minus_SNo) (prim5 (SNoL x0) minus_SNo)
as obj
-
as prop
570cb..minus_SNo_eq
theory
HotG
stx
2cf07..
address
TMFAD..minus_SNo_eq