Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
ReplSepI

proofgold address
TMTE4..^ReplSepI

creator
1446 PrGxv../8085a..

owner
1446 PrGxv../8085a..

term root
8d2d2..