Proofgold Proposition

∀ x0 : ι → ι → ο . transitive (43cf7.. x0)

type
prop

theory
HotG

name
-

proof
PUgrL..

Megalodon
-

proofgold address
TMbcB..

creator
11560 PrEBh../ea00b..

owner
11560 PrEBh../ea00b..

term root
b4019..