Proofgold Proposition

∀ x0 . 0 = Sing x0 ⟶ ∀ x1 : ο . x1

type
prop

theory
HotG

name
not_Empty_eq_Sing

proof
PUfcG..

Megalodon
-

proofgold address
TMSqH..

creator
14561 Pr4zB../39894..

owner
14561 Pr4zB../39894..

term root
fbf96..