Proofgold Proposition

∀ x0 . 0 ⊆ x0

type
prop

theory
HotG

name
Subq_Empty

proof
PUL8Q..

Megalodon
Subq_Empty

proofgold address
TMJxe..^Subq_Empty

creator
4882 Pr6Pc../cc715..

owner
4882 Pr6Pc../cc715..

term root
a517c..