“…Lastly, the fact that S q,j,α is separable is obtained as follows. Recall that, by virtue of statement (2) in Proposition 41 if w ∈ C j,α (M, N ) is γ-stationary then in fact w ∈ C q (M, N ), hence letŠ q,j,α be just the set S q,j,α endowed with the topology it inherits as a subspace of the product Γ×(C q (M, N )/ ≃), for ≃ the usual equivalence relation (quotienting by diffeomorphisms of M). Clearly, S q,j,α has a coarser topology thanŠ q,j,α so it is enough to show thatŠ q,j,α is separable.…”