Proofgold Proposition

∀ x0 . SNoLev x0 ∈ 1 ⟶ 0 = x0 ⟶ x0 ∈ 1

type
prop

theory
HotG

name
-

proof
PUTNo..

Megalodon
Conj_SNoL_1__1__0

proofgold address
TMNKD..^{Conj_SNoL_1__1__0}

creator
35053 PrNpY../db15d..

owner
35061 PrNpY../fb784..

term root
a12e9..