Proofgold Proposition

∀ x0 x1 x2 . subfield x0 x1 ⟶ subfield x1 x2 ⟶ subfield x0 x2

type
prop

theory
HotG

name
subfield_tra

proof
PUXQg..

Megalodon
subfield_tra

proofgold address
TMGnV..^subfield_tra

creator
5919 Pr6Pc../c910c..

owner
5919 Pr6Pc../c910c..

term root
66345..