Proofgold Proposition

∀ x0 x1 . ∀ x2 : ι → ι → ο . x0 ⊆ x1 ⟶ cf2df.. x1 x2 ⟶ cf2df.. x0 x2

type
prop

theory
HotG

name
-

proof
PUTgE..

Megalodon
-

proofgold address
TMRz8..

creator
34113 Pr4zB../cf36c..

owner
34113 Pr4zB../cf36c..

term root
304cf..