Proofgold Proposition

∀ x0 . nat_p x0 ⟶ equip {x1 ∈ SNoS_ omega|SNoLev x1 = x0} (exp_SNo_nat 2 x0)

type
prop

theory
HotG

name
SNoS_omega_Lev_equip

proof
PUMXD..

Megalodon
SNoS_omega_Lev_equip

proofgold address
TMYFX..^{SNoS_omega_Lev_equip}

creator
12443 PrGxv../94f23..

owner
12443 PrGxv../94f23..

term root
2712e..