Diffeological Symplectic Frobenius Reciprocity

In this note we prove that the symplectic Frobenius Reciprocity established in the paper “Symplectic Induction, Prequantum Induction and Prequantum Multiplicities” as a set bijection is indeed a diffeological diffeomorphism, as conjectured by its authors Ratiu and Ziegler. The same holds in the prequantum space context.