> Prefixes that are always inseparable are: be-, emp-, ent-, er-, ge-, miss-, ver-, & zer-. The most common of these is ver-.
> These [separable prefixes] are most frequently prepositions (e.g, ab, an, auf, aus, bei, mit, nach, statt, vor, zu) or adverbs (e.g., fort, los, nieder, vorbei, weg, zurück, zusammen). However, nouns and adjectives can also serve as separable prefixes (e.g., teilnehmen, festhalten).
There is an interpretation of Lambda calculus that views a derivable statement $\Gamma \vdash x : A$ as the proposition $A$ with $x$ as "proof" of $A$.
However, there is another interpretation in which $\Gamma \vdash x : A$ is interpreted as the statement $x \in A$.
I have made my most importa...
Problem
Let $V$ be finite-dimensional inner product space and $U$ it's subspace. Let's
assume that $\vec{v} \in V$. Show that $\vec{v} \in U \iff \text{proj}_U(\vec{v}) = \vec{v}$
Attempt to show
Let's assume subspace $U$ has orthogonal basis ($\vec{u}_1,\vec{u}_2,\vec{u}_3,\dots \vec{u}_n$) ...
