Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLe x0 x1 ⟶ SNoLe x1 x0 ⟶ x0 = x1

type
prop

theory
HotG

name
SNoLe_antisym

proof
PUUwp..

Megalodon
SNoLe_antisym

proofgold address
TMMew..^{SNoLe_antisym}

creator
4910 Pr6Pc../b97db..

owner
4910 Pr6Pc../b97db..

term root
f9f75..