Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 . x1 ∈ x0 ⟶ nIn (Sing 2) x1

type
prop

theory
HotG

name
complex_tag_fresh

proof
PUQvq..

Megalodon
complex_tag_fresh

proofgold address
TMdwa..^{complex_tag_fresh}

creator
28444 PrQUS../ab49b..

owner
28444 PrQUS../ab49b..

term root
3d806..