Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLev (abs_SNo x0) = SNoLev x0

type
prop

theory
HotG

name
abs_SNo_Lev

proof
PUfRQ..

Megalodon
abs_SNo_Lev

proofgold address
TMNES..^abs_SNo_Lev

creator
6761 Pr6Pc../c5a55..

owner
6761 Pr6Pc../c5a55..

term root
fe590..