Proofgold Proposition

∀ x0 x1 : ι → ι . ∀ x2 . nat_p x2 ⟶ (∀ x3 . x3 ∈ x2 ⟶ x0 x3 = x1 x3) ⟶ 05ecb.. x0 x2 = 05ecb.. x1 x2

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
Pi_SNo_eq

proofgold address
TMPX9..^Pi_SNo_eq

creator
30111 PrQUS../deded..

owner
30111 PrQUS../deded..

term root
c1ba1..