Proofgold Proposition

∀ x0 x1 x2 . x0 ⊆ x1 ⟶ x1 ⊆ x2 ⟶ x0 ⊆ x2

type
prop

theory
HotG

name
Subq_tra

proof
PUL8Q..

Megalodon
Subq_tra

proofgold address
TMaoz..^Subq_tra

creator
4882 Pr6Pc../7ddaf..

owner
4882 Pr6Pc../7ddaf..

term root
79acc..