Proofgold Proposition

∀ x0 . RealsStruct x0 ⟶ (λ x2 . ap (ap (ap (Field_of_RealsStruct x0) 1) x2)) = field1b x0

type
prop

theory
HotG

name
Field_of_RealsStruct_1f

proof
PUSVY..

Megalodon
Field_of_RealsStruct_1f

proofgold address
TMPP9..^{Field_of_RealsStruct_1f}

creator
5804 Pr6Pc../34f2e..

owner
5804 Pr6Pc../34f2e..

term root
7affb..