Search for blocks/addresses/...

Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => 'equip_mod = λ x1 x2 x3 . ∀ x4 : ο . (∀ x5 . (∀ x6 : ο . (∀ x7 . or (and (equip (setsum x1 x5) x2) (equip (setprod x7 x5) x3)) (and (equip (setsum x2 x5) x1) (equip (setprod x7 x5) x3))x6)x6)x4)x4', )
address
TMHam..equip_mod_def