Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLe 1 x0 ⟶ ∀ x1 . nat_p x1 ⟶ SNoLe 1 (exp_SNo_nat x0 x1)

type
prop

theory
HotG

name
exp_SNo_1_bd

proof
PUX1q..

Megalodon
exp_SNo_1_bd

proofgold address
TMMXP..^exp_SNo_1_bd

creator
12284 PrGxv../ef5ef..

owner
12284 PrGxv../ef5ef..

term root
a5c54..