hf term |
---|
(object) array(
'type' => 'termroot',
'hfbuiltin' => true,
'trmpres' => 'Sep = λ x1 . λ x2 : ι → ο . If_i (∀ x3 : ο . (∀ x4 . and (In x4 x1) (x2 x4) ⟶ x3) ⟶ x3) (Repl x1 (λ x3 . If_i (x2 x3) x3 (Eps_i (λ x4 . and (In x4 x1) (x2 x4))))) 0',
) |
|