Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι . bij x0 x1 x2 ⟶ ∀ x3 : ο . ((∀ x4 . x4 ∈ x0 ⟶ x2 x4 ∈ x1) ⟶ (∀ x4 . x4 ∈ x0 ⟶ ∀ x5 . x5 ∈ x0 ⟶ x2 x4 = x2 x5 ⟶ x4 = x5) ⟶ (∀ x4 . x4 ∈ x1 ⟶ ∃ x5 . and (x5 ∈ x0) (x2 x5 = x4)) ⟶ x3) ⟶ x3

type
prop

theory
HotG

name
bijE

proof
PUPXD..

Megalodon
bijE

proofgold address
TMVho..^bijE

creator
4945 Pr6Pc../1fb1e..

owner
4945 Pr6Pc../1fb1e..

term root
2cf27..