Proofgold Proposition

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

type
prop

theory
HotG

name
SNoCutP_0_R

proof
PUU9n..

Megalodon
SNoCutP_0_R

proofgold address
TMVtz..^SNoCutP_0_R

creator
4981 Pr6Pc../8816a..

owner
4981 Pr6Pc../8816a..

term root
54eb8..