Proofgold Proposition

∀ x0 x1 . In x1 (proj1 x0) ⟶ In (setsum 1 x1) x0

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
proj1E

proofgold address
TMKFg..^proj1E

creator
1504 PrGxv../e424e..

owner
1504 PrGxv../e424e..

term root
ddee3..