Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι . (∀ x3 . In x3 x0 ⟶ Subq (x1 x3) (x2 x3)) ⟶ Subq (Pi x0 x1) (Pi x0 x2)

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
Pi_cod_mon

proofgold address
TMSg3..^Pi_cod_mon

creator
1627 PrGxv../7e4de..

owner
1627 PrGxv../7e4de..

term root
1ceac..