Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUTgE..

Megalodon
-

proofgold address
TMUCJ..

creator
34113 Pr4zB../89a99..

owner
34113 Pr4zB../89a99..

term root
ada8e..