Proofgold Proposition

∀ x0 . proj1 x0 = ap x0 1

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
proj1_ap_1

proofgold address
TMXfU..^proj1_ap_1

creator
1627 PrGxv../64939..

owner
1627 PrGxv../64939..

term root
30306..