Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . x2x1nIn x2 (setminus x0 x1)
type
prop
theory
HotG
name
setminus_nIn_I2
proof
PUL8Q..
Megalodon
setminus_nIn_I2
proofgold address
TMRc5..setminus_nIn_I2
creator
4882 Pr6Pc../3d09e..
owner
4882 Pr6Pc../3d09e..
term root
bcb7b..