Proofgold Proposition

∀ x0 . ∀ x1 x2 : (ι → ο) → ο . (∀ x3 : ι → ο . (∀ x4 . x3 x4 ⟶ x4 ∈ x0) ⟶ iff (x1 x3) (x2 x3)) ⟶ pack_c x0 x1 = pack_c x0 x2

type
prop

theory
HotG

name
pack_c_ext

proof
PUSob..

Megalodon
pack_c_ext

proofgold address
TMMNa..^pack_c_ext

creator
4904 Pr6Pc../c9d66..

owner
4904 Pr6Pc../c9d66..

term root
4c016..