Proofgold Proposition

∀ x0 . (∀ x1 . x1 ∈ x0 ⟶ SNo x1) ⟶ SNoCutP x0 0

type
prop

theory
HotG

name
SNoCutP_L_0

proof
PUU9n..

Megalodon
SNoCutP_L_0

proofgold address
TMc8b..^SNoCutP_L_0

creator
4981 Pr6Pc../38ef4..

owner
4981 Pr6Pc../38ef4..

term root
47329..