1: \begin{proof}

2: (1): This is a direct consequence of Proposition \ref{prp:welldefcomplex}.

3: 

4: (2): Floer's original sketch of invariance of Lagrangian Floer theory under Hamiltonian isotopies used bifurcation analysis: as the geometric data changes, the Floer complex changes by stabilizations (births and deaths of pairs of Lagrangian intersections) and handle-slides (the presence of isolated index $-1$ pseudoholomorphic strips in one-parameter families of such) \cite{Floer:MorseTheoryLagrangian}. This sketch was made rigorous in \cite{Sullivan} for Lagrangian Floer theory, as well as in \cite{YJLee} for Hamiltonian  Floer theory.

5: 

6: By assumption, there are neither births nor deaths occurring in our family. Moreover, all relevant $(-1)$-strips involved in the definition of the handle-slide maps are all contained in a fixed compact subset. Together with the assumption on the non-existence of the prescribed strips, the compactness and gluing arguments from \cite{Sullivan} again shows that the induced algebraic handle-slide maps are well-defined chain maps on the complexes $C_*^\lambda.$

7: \end{proof}

8: