Proofgold Proposition

∀ x0 x1 : ο . (not x0 ⟶ not x1 ⟶ False) ⟶ or x0 x1

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
orI_contra

proofgold address
TMNpb..^orI_contra

creator
1149 PrGxv../e8d42..

owner
1149 PrGxv../e8d42..

term root
658f9..