Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x2x0∀ x3 : ι → ι . inj x0 x1 x3inj (setminus x0 (Sing x2)) (setminus x1 (Sing (x3 x2))) x3
as obj
-
as prop
1ee83..
theory
HotG
stx
49532..
address
TMVYw..