Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 x2 x3 . and (RealsStruct_leq x1 x2 x3) (x2 = x3∀ x4 : ο . x4)
as obj
e08de..
as prop
-
theory
HotG
stx
8f02a..
address
TMbVn..