Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . Subq (Sep x0 x1) x0

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
Sep_Subq

proofgold address
TMSuK..^Sep_Subq

creator
1446 PrGxv../e2fcc..

owner
1446 PrGxv../e2fcc..

term root
ccf41..