Proofgold Proposition

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

type
prop

theory
HotG

name
apI

proof
PUdQg..

Megalodon
apI

proofgold address
TMPak..^apI

creator
4899 Pr6Pc../f3c2a..

owner
4899 Pr6Pc../f3c2a..

term root
64667..