Proofgold Object

λ x0 . λ x1 : ι → ο . prim5 (Sep x0 x1)

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

theory
HotG

name
ReplSep

definition
PUL8Q..

Megalodon
ReplSep

proofgold address
TMRDk..^ReplSep

creator
4882 Pr6Pc../4881a..

owner
4882 Pr6Pc../4881a..

term root
ec807..