Proofgold Proposition

∀ x0 x1 . prim1 x0 (4ae4a.. (4ae4a.. 4a7ef..)) ⟶ prim1 x1 (4ae4a.. (4ae4a.. 4a7ef..)) ⟶ (x0 = x1 ⟶ ∀ x2 : ο . x2) ⟶ bij (4ae4a.. (4ae4a.. 4a7ef..)) (4ae4a.. (4ae4a.. 4a7ef..)) (f482f.. (0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x2 . If_i (x2 = 4a7ef..) x0 x1)))

type
prop

theory
HoTg

name
-

proof
PUhr2..

Megalodon
-

proofgold address
TMMAt..

creator
2790 PrGxv../213eb..

owner
2790 PrGxv../213eb..

term root
e619f..