Proofgold Proposition

∀ x0 x1 . nIn x0 x1 ⟶ x1 = Sing x0 ⟶ ∀ x2 : ο . x2

type
prop

theory
HotG

name
nIn_not_eq_Sing

proof
PUfcG..

Megalodon
-

proofgold address
TMGfV..

creator
14561 Pr4zB../95589..

owner
14561 Pr4zB../95589..

term root
8b481..