Existence, uniqueness and finite element approximation of the solution of time‐harmonic electromagnetic boundary value problems involving metamaterials | COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering | DeepDyve