Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι → ο . x0 ⊆ x1 ⟶ 4402e.. x1 x2 ⟶ 4402e.. x0 x2

type
prop

theory
HotG

name
-

proof
PUTgE..

Megalodon
-

proofgold address
TMatV..

creator
34113 Pr4zB../85c83..

owner
34113 Pr4zB../85c83..

term root
d3460..