Proofgold Proposition

∀ x0 x1 : ο . and x0 x1 ⟶ x0

type
prop

theory
HotG

name
andEL

proof
PUL8Q..

Megalodon
andEL

proofgold address
TMP2M..^andEL

creator
4882 Pr6Pc../3d036..

owner
4882 Pr6Pc../3d036..

term root
c2f00..