Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ο . λ x3 : ι → ι → ι . prim3 {ReplSep (x1 x4) (x2 x4) (x3 x4)|x4 ∈ x0}
as obj
bd46a..ReplSep2
as prop
-
theory
HotG
stx
18c18..
address
TMNVw..ReplSep2