Proofgold Proposition

∀ x0 x1 . x1 ∈ proj1 x0 ⟶ setsum 1 x1 ∈ x0

type
prop

theory
HotG

name
proj1E

proof
PUMB7..

Megalodon
proj1E

proofgold address
TMcN2..^proj1E

creator
4898 Pr6Pc../6c6bc..

owner
4898 Pr6Pc../6c6bc..

term root
06e32..