Discreteness of real ${\mathrm{S}\mathrm{L}}_n$-opers

We prove that the set of real ${\mathrm{S}\mathrm{L}}_n$-opers forms a discrete subset of the moduli space of irreducible flat connections.