Proofgold Proposition

∀ x0 x1 x2 . iff (In x2 (ap x0 x1)) (In (setsum x1 x2) x0)

type
prop

theory
HF

name
-

proof
PUaiy..

Megalodon
apEq

proofgold address
TMQas..^apEq

creator
1504 PrGxv../9ca1b..

owner
1504 PrGxv../9ca1b..

term root
e5b51..