Equivariant Floer homology is isomorphic to reduced Floer homology

Given a symplectic manifold equipped with a Hamiltonian $G$-action and two $G$-invariant Lagrangians, we lift the construction of equivariant Lagrangian Floer homology of G.@~Cazassus to the Novikov ring by constructing a ``quantum’’ model in the vein of Biran and Cornea and Schmäschke. Using this refinement, we prove Cazassus’ conjecture that, if the action on the zero-level of the moment map is free, then equivariant Floer homology agrees with the Floer homology of the Marsden-Weinstein reduction.