Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0SNoS_ omega∀ x1 . x1SNoS_ omegamul_SNo x0 x1SNoS_ omega
as obj
-
as prop
76837..mul_SNo_SNoS_omega
theory
HotG
stx
ba872..
address
TMRYB..mul_SNo_SNoS_omega