Proofgold Proposition

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

type
prop

theory
HotG

name
proj1I

proof
PUMB7..

Megalodon
proj1I

proofgold address
TMPGX..^proj1I

creator
4898 Pr6Pc../df13e..

owner
4898 Pr6Pc../df13e..

term root
fbddb..