Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 . x1x0atleastp x1 x0
type
prop
theory
HotG
name
nat_In_atleastp
proof
PUfcG..
Megalodon
-
proofgold address
TMZtJ..
creator
14561 Pr4zB../79c37..
owner
14561 Pr4zB../79c37..
term root
3deb6..