Proofgold Proposition

∀ x0 . CSNo x0 ⟶ ∀ x1 . x1 ∈ x0 ⟶ nIn (Sing 3) x1

type
prop

theory
HotG

name
quaternion_tag_fresh

proof
PUgzA..

Megalodon
quaternion_tag_fresh

proofgold address
TMUhN..^{quaternion_tag_fresh}

creator
28464 PrQUS../0cc95..

owner
28464 PrQUS../0cc95..

term root
202f0..