Proofgold Proposition

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

type
prop

theory
HoTg

name
-

proof
PUTo6..

Megalodon
-

proofgold address
TMFjx..

creator
2774 PrGxv../c74f8..

owner
2774 PrGxv../c74f8..

term root
27feb..