Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . (∀ x2 : ο . (∀ x3 . and (x3 ∈ x0) (x1 x3) ⟶ x2) ⟶ x2) ⟶ PtdPred (pack_p x0 x1)

type
prop

theory
HotG

name
-

proof
PUg5x..

Megalodon
-

proofgold address
TMJhe..

creator
11300 PrEBh../fe561..

owner
11300 PrEBh../fe561..

term root
2576d..