Proofgold Proposition

∀ x0 . x0 ⊆ 0 ⟶ x0 = 0

type
prop

theory
HotG

name
Empty_Subq_eq

proof
PUL8Q..

Megalodon
Empty_Subq_eq

proofgold address
TMQEN..^{Empty_Subq_eq}

creator
4882 Pr6Pc../044ab..

owner
4882 Pr6Pc../044ab..

term root
2dd95..