Proofgold Proposition

∀ x0 x1 . x1 ∈ x0 ⟶ Inj1 x1 ∈ Inj0 x0

type
prop

theory
HotG

name
Inj0I

proof
PUMB7..

Megalodon
Inj0I

proofgold address
TMWQM..^Inj0I

creator
4898 Pr6Pc../9abb7..

owner
4898 Pr6Pc../9abb7..

term root
7fc2e..