Proofgold Proposition

∀ x0 . HSNo x0 ⟶ ∀ x1 . x1 ∈ x0 ⟶ nIn (Sing 4) x1

type
prop

theory
HotG

name
octonion_tag_fresh

proof
PUdK2..

Megalodon
octonion_tag_fresh

proofgold address
TMSQC..^{octonion_tag_fresh}

creator
28513 PrQUS../64058..

owner
28513 PrQUS../64058..

term root
b25e7..