Proofgold Proposition

∀ x0 x1 x2 x3 . In 0 x3 ⟶ Subq x2 x3 ⟶ Subq x0 x1 ⟶ Subq (setexp x2 x0) (setexp x3 x1)

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
setexp_0_mon

proofgold address
TMbmk..^setexp_0_mon

creator
1627 PrGxv../b89cf..

owner
1627 PrGxv../b89cf..

term root
7160e..