Proofgold Object

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ο . λ x3 : ι → ι → ι . prim3 {ReplSep (x1 x4) (x2 x4) (x3 x4)|x4 ∈ x0}

type
ι → (ι → ι) → (ι → ι → ο) → CT2 ι

theory
HotG

name
ReplSep2

definition
PUL8Q..

Megalodon
ReplSep2

proofgold address
TMdeK..^ReplSep2

creator
4882 Pr6Pc../99c17..

owner
4882 Pr6Pc../99c17..

term root
da098..