Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . and (struct_b_b_e x0) (unpack_b_b_e_o x0 (λ x1 . λ x2 x3 : ι → ι → ι . λ x4 . explicit_Ring x1 x4 x2 x3))
as obj
ffaf6..Ring
as prop
-
theory
HotG
stx
ea380..
address
TMVG5..Ring