Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ omega ⟶ ∀ x1 . x1 ∈ SNoS_ omega ⟶ add_SNo x0 x1 ∈ SNoS_ omega

type
prop

theory
HotG

name
add_SNo_SNoS_omega

proof
PUL9u..

Megalodon
add_SNo_SNoS_omega

proofgold address
TMVjF..^{add_SNo_SNoS_omega}

creator
4970 Pr6Pc../e963e..

owner
4970 Pr6Pc../e963e..

term root
93110..