Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . RealsStruct x0∀ x1 x2 . nIn x2 (field0 x0)Field_div (Field_of_RealsStruct x0) x1 x2 = 0
type
prop
theory
HotG
name
RealsStruct_div_undef2
proof
PUMpo..
Megalodon
RealsStruct_div_undef2
proofgold address
TMH1m..RealsStruct_div_undef2
creator
5881 Pr6Pc../8d70d..
owner
5881 Pr6Pc../8d70d..
term root
f6f47..