Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ x0 x1 .
SNoCutP
x0
x1
⟶
SNo
(
SNoCut
x0
x1
)
as obj
-
as prop
ae46e..
SNoCutP_SNo_SNoCut
theory
HotG
stx
fab7c..
address
TMNKa..
SNoCutP_SNo_SNoCut