Proofgold Proposition

∀ x0 x1 x2 x3 x4 . Field_Hom x0 x1 x3 ⟶ Field_Hom x1 x2 x4 ⟶ Field_Hom x0 x2 (lam_comp (ap x0 0) x4 x3)

type
prop

theory
HotG

name
Field_Hom_comp

proof
PUXQg..

Megalodon
Field_Hom_comp

proofgold address
TMFHd..^{Field_Hom_comp}

creator
5919 Pr6Pc../7a2fa..

owner
5919 Pr6Pc../7a2fa..

term root
f96e7..