Proofgold Proposition

∀ x0 x1 . nSubq x0 x1 ⟶ Subq x0 x1 ⟶ False

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
nSubq_E2

proofgold address
TMLrC..^nSubq_E2

creator
1168 PrGxv../23853..

owner
1168 PrGxv../23853..

term root
ce3b1..