Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . 0fc90.. x0 (f482f.. (0fc90.. x0 x1)) = 0fc90.. x0 x1

type
prop

theory
HoTg

name
-

proof
PUTo6..

Megalodon
-

proofgold address
TMK5w..

creator
2774 PrGxv../58549..

owner
2774 PrGxv../58549..

term root
0d475..