Proofgold Proposition

∀ x0 . proj1 x0 = ap x0 1

type
prop

theory
HotG

name
proj1_ap_1

proof
PUdQg..

Megalodon
proj1_ap_1

proofgold address
TMRaY..^proj1_ap_1

creator
4899 Pr6Pc../b90b3..

owner
4899 Pr6Pc../b90b3..

term root
d116b..