Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0omega∀ x1 . x1omegadivides_nat x1 (mul_nat x0 x1)
as obj
-
as prop
d5d99..divides_nat_mulL
theory
HotG
stx
00571..
address
TMZXv..divides_nat_mulL