Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ο . (∀ x3 . x3 ∈ x0 ⟶ x2 (x1 x3)) ⟶ ∀ x3 . x3 ∈ prim5 x0 x1 ⟶ x2 x3

type
prop

theory
HotG

name
ReplE'

proof
PUULb..

Megalodon
ReplE

proofgold address
TMHmF..^ReplE

creator
12391 PrGxv../f52dc..

owner
12391 PrGxv../f52dc..

term root
e374f..