Proofgold Proposition

∀ x0 . x0 ∈ rational ⟶ minus_SNo x0 ∈ rational

type
prop

theory
HotG

name
rational_minus_SNo

proof
PUcxH..

Megalodon
rational_minus_SNo

proofgold address
TMEtW..^{rational_minus_SNo}

creator
29779 PrQUS../67a7a..

owner
29779 PrQUS../67a7a..

term root
31c42..