Proofgold Proposition

∀ x0 . proj0 x0 = ap x0 0

type
prop

theory
HotG

name
proj0_ap_0

proof
PUdQg..

Megalodon
proj0_ap_0

proofgold address
TMSgB..^proj0_ap_0

creator
4899 Pr6Pc../6897b..

owner
4899 Pr6Pc../6897b..

term root
588f3..