Proofgold Proposition

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

type
prop

theory
HotG

name
proj0E

proof
PUMB7..

Megalodon
proj0E

proofgold address
TMKRt..^proj0E

creator
4898 Pr6Pc../7f70f..

owner
4898 Pr6Pc../7f70f..

term root
b9afa..