Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ ap x0 x1 ⟶ setsum x1 x2 ∈ x0

type
prop

theory
HotG

name
apE

proof
PUdQg..

Megalodon
apE

proofgold address
TMNq9..^apE

creator
4899 Pr6Pc../cf729..

owner
4899 Pr6Pc../cf729..

term root
85693..