Proofgold Proposition

∀ x0 x1 : ο . and x0 x1 ⟶ x1

type
prop

theory
HotG

name
andER

proof
PUL8Q..

Megalodon
andER

proofgold address
TMRHX..^andER

creator
4882 Pr6Pc../dcf1e..

owner
4882 Pr6Pc../dcf1e..

term root
f66b8..