Proofgold Proposition

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

type
prop

theory
HotG

name
Inj1I2

proof
PUMB7..

Megalodon
Inj1I2

proofgold address
TMcYP..^Inj1I2

creator
4898 Pr6Pc../45180..

owner
4898 Pr6Pc../45180..

term root
b6f23..