Proofgold Proposition

∀ x0 x1 . Subq x0 x1 ⟶ inj x0 x1 (λ x2 . x2)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
inj_incl

proofgold address
TMWsq..^inj_incl

creator
2277 PrGxv../80327..

owner
2277 PrGxv../80327..

term root
cc3f3..