Proofgold Proposition

∀ x0 x1 x2 . ∀ x3 : ι → ι → ο . x1 ⊆ x2 ⟶ cdfa5.. x0 x2 x3 ⟶ cdfa5.. x0 x1 x3

type
prop

theory
HotG

name
-

proof
PUTgE..

Megalodon
-

proofgold address
TMH9P..

creator
34113 Pr4zB../e835e..

owner
34113 Pr4zB../e835e..

term root
e8529..