Proofgold Proposition

∀ x0 . x0 ⊆ x0

type
prop

theory
HotG

name
Subq_ref

proof
PUL8Q..

Megalodon
Subq_ref

proofgold address
TMLkY..^Subq_ref

creator
4882 Pr6Pc../29ba9..

owner
4882 Pr6Pc../29ba9..

term root
4c539..