Proofgold Proposition

∀ x0 x1 x2 x3 . 0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x5 . If_i (x5 = 4a7ef..) x0 x1) = 0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x5 . If_i (x5 = 4a7ef..) x2 x3) ⟶ and (x0 = x2) (x1 = x3)

type
prop

theory
HoTg

name
-

proof
PUTo6..

Megalodon
-

proofgold address
TMbv3..

creator
2774 PrGxv../c7f49..

owner
2774 PrGxv../c7f49..

term root
1d98a..