Proofgold Proposition

∀ x0 . Field x0 ⟶ Field_Hom x0 x0 (lam_id (ap x0 0))

type
prop

theory
HotG

name
Field_Hom_id

proof
PUXQg..

Megalodon
Field_Hom_id

proofgold address
TMbgZ..^Field_Hom_id

creator
5919 Pr6Pc../e47e6..

owner
5919 Pr6Pc../e47e6..

term root
e7610..