Proofgold Proposition

∀ x0 . nat_p x0 ⟶ SNoLt x0 (exp_SNo_nat 2 x0)

type
prop

theory
HotG

name
exp_SNo_2_bd

proof
PUX1q..

Megalodon
exp_SNo_2_bd

proofgold address
TMcDm..^exp_SNo_2_bd

creator
12284 PrGxv../00cfc..

owner
12284 PrGxv../00cfc..

term root
1297d..