Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ο . In (Sep x0 x1) (Power x0)
as obj
-
as prop
fa8b5..Sep_In_Power
theory
HF
stx
cb38c..
address
TMUQs..Sep_In_Power