Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUP8b..

Megalodon
-

proofgold address
TMLay..

creator
11858 PrEBh../0f866..

owner
11858 PrEBh../0f866..

term root
11347..