Proofgold Proposition

∀ x0 x1 . x1 ∈ field0 x0 ⟶ ∀ x2 . x2 ∈ field0 x0 ⟶ ap (ap (ap (Field_of_RealsStruct x0) 1) x1) x2 = field1b x0 x1 x2

type
prop

theory
HotG

name
Field_of_RealsStruct_1

proof
PUSkV..

Megalodon
Field_of_RealsStruct_1

proofgold address
TMHPE..^{Field_of_RealsStruct_1}

creator
5784 Pr6Pc../02ed4..

owner
5784 Pr6Pc../02ed4..

term root
a29ae..