Proofgold Proposition

∀ x0 . finite (Sing x0)

type
prop

theory
HotG

name
-

proof
PUbqv..

Megalodon
Sing_finite

proofgold address
TMQUy..^Sing_finite

creator
22292 Pr4zB../3a005..

owner
22292 Pr4zB../3a005..

term root
f7016..