Step
*
of Lemma
singleton_properties
∀[T:Type]. ∀[a:T]. ∀[x:{a:T}]. (x = a ∈ T)
BY
{ ProvePropertiesLemma }
Latex:
Latex:
\mforall{}[T:Type]. \mforall{}[a:T]. \mforall{}[x:\{a:T\}]. (x = a)
By
Latex:
ProvePropertiesLemma
Home
Index