Proofgold Proposition

∀ x0 . RealsStruct x0 ⟶ RealsStruct_Z x0 = {x2 ∈ field0 x0|or (or (explicit_Field_minus (field0 x0) (field4 x0) (RealsStruct_one x0) (field1b x0) (field2b x0) x2 ∈ RealsStruct_Npos x0) (x2 = field4 x0)) (x2 ∈ RealsStruct_Npos x0)}

type
prop

theory
HotG

name
-

proof
PUSVY..

Megalodon
-

proofgold address
TMNdH..

creator
5804 Pr6Pc../dbbaf..

owner
5804 Pr6Pc../dbbaf..

term root
87925..