Search for blocks/addresses/...

Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => 'Sep2 = λ x1 . λ x2 : ι → ι . λ x3 : ι → ι → ο . Sep (lam x1 x2) (λ x4 . x3 (ap x4 0) (ap x4 1))', )
address
TMcJT..Sep2_def