Proofgold Proposition

∀ x0 x1 : ο . and x0 x1 ⟶ x1

type
prop

theory
HOAS

name
andER

proof
PUcHm..

Megalodon
-

proofgold address
TMcbU..

creator
1745 PrGxv../e1647..

owner
1745 PrGxv../e1647..

term root
f66b8..