Proofgold Proposition

∀ x0 x1 . setsum 0 x1 ∈ x0 ⟶ x1 ∈ proj0 x0

type
prop

theory
HotG

name
proj0I

proof
PUMB7..

Megalodon
proj0I

proofgold address
TMGtD..^proj0I

creator
4898 Pr6Pc../3670f..

owner
4898 Pr6Pc../3670f..

term root
be55b..