Search for blocks/addresses/...

Proofgold Term Root Disambiguation

CD_conj (Sing 2) SNo minus_SNo (λ x0 . x0)
as obj
35fdd..conj_CSNo
as prop
-
theory
HotG
stx
5ed1a..
address
TMXQR..conj_CSNo