This note is an exposition of different proofs of cocompactness for Sobolev-type embeddings, which employ methods of classical PDE, potential theory, and harmonic analysis.
Meaning of exposition for the defined word.
Grammatically, this word "exposition" is a noun, more specifically, a countable noun.