Proofgold Proposition

∀ x0 . x0 ∈ 87ab7.. ⟶ minus_SNo x0 ∈ 87ab7..

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
real_minus_SNo

proofgold address
TMJ5S..^{real_minus_SNo}

creator
5368 Pr6Pc../37126..

owner
5368 Pr6Pc../37126..

term root
5ba50..