Proofgold Proposition

∀ x0 . atleast2 x0 ⟶ ∀ x1 : ο . (∀ x2 . and (In x2 x0) (not (Subq x0 (Power x2))) ⟶ x1) ⟶ x1

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
atleast2_E

proofgold address
TMLsb..^atleast2_E

creator
1168 PrGxv../1da6d..

owner
1168 PrGxv../1da6d..

term root
ffbc7..