Proofgold Proposition

∀ x0 . 00f04.. (1ce4f.. x0) = x0

type
prop

theory
HF

name
-

proof
PUKiR..

Megalodon
down_1_0_incl_0_1

proofgold address
TMGk9..^{down_1_0_incl_0_1}

creator
1627 PrGxv../d33d9..

owner
1627 PrGxv../d33d9..

term root
69e9f..