Proofgold Proposition

∀ x0 x1 x2 : ο . x1 ⟶ or (or x0 x1) x2

type
prop

theory
HotG

name
or3I2

proof
PUL8Q..

Megalodon
or3I2

proofgold address
TMJji..^or3I2

creator
4882 Pr6Pc../e24e5..

owner
4882 Pr6Pc../e24e5..

term root
8df6e..