Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 . x1 ∈ omega ⟶ x0 x1) ⟶ (∀ x1 . x1 ∈ omega ⟶ x0 (minus_SNo x1)) ⟶ ∀ x1 . x1 ∈ int ⟶ x0 x1

type
prop

theory
HotG

name
int_SNo_cases

proof
PUMdw..

Megalodon
int_SNo_cases

proofgold address
TMGYK..^{int_SNo_cases}

creator
12548 PrGxv../c96ea..

owner
12548 PrGxv../c96ea..

term root
60107..