Proofgold Proposition

∀ x0 x1 x2 . Subq x1 x2 ⟶ Subq (1ad11.. x0 x2) (1ad11.. x0 x1)

type
prop

theory
HoTg

name
-

proof
PUbyS..

Megalodon
-

proofgold address
TMXou..

creator
4838 PrGxv../ab21b..

owner
4838 PrGxv../ab21b..

term root
c313e..