Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . RealsStruct x0∀ x1 . x1field0 x0∀ x2 . x2field0 x0field1b x0 (field2b x0 x1 x1) (field2b x0 x2 x2) = field4 x0and (x1 = field4 x0) (x2 = field4 x0)
as obj
-
as prop
c2b9c..RealsStruct_sum_squares_zero_inv
theory
HotG
stx
56719..
address
TMb4X..RealsStruct_sum_squares_zero_inv