Proofgold Proposition

∀ x0 x1 : ο . x0 ⟶ x1 ⟶ and x0 x1

type
prop

theory
HotG

name
andI

proof
PUL8Q..

Megalodon
andI

proofgold address
TMFJP..^andI

creator
4882 Pr6Pc../6038c..

owner
4882 Pr6Pc../6038c..

term root
3c4f5..