Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . Sep x0 x1 ⊆ x0

type
prop

theory
HotG

name
Sep_Subq

proof
PUL8Q..

Megalodon
Sep_Subq

proofgold address
TMYQD..^Sep_Subq

creator
4882 Pr6Pc../4dddf..

owner
4882 Pr6Pc../4dddf..

term root
97d08..