Proofgold Proposition

∀ x0 x1 . aae7a.. x0 x1 = 0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x3 . If_i (x3 = 4a7ef..) x0 x1)

type
prop

theory
HoTg

name
-

proof
PUTo6..

Megalodon
-

proofgold address
TMFNB..

creator
2774 PrGxv../a4d45..

owner
2774 PrGxv../a4d45..

term root
dc63f..