Proofgold Proposition

∀ x0 : ι → ο . ((∀ x1 . not (x0 x1)) ⟶ False) ⟶ (x0 (Eps_i x0) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_Eps_i

proofgold address
TMS3d..^tab_Eps_i

creator
1339 PrGxv../244b6..

owner
1339 PrGxv../244b6..

term root
a3166..