Proofgold Proposition

∀ x0 x1 . nSubq x0 x1 ⟶ not (Subq x0 x1)

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
nSubq_E

proofgold address
TMRry..^nSubq_E

creator
1168 PrGxv../8c76b..

owner
1168 PrGxv../8c76b..

term root
8efb5..