Showing Ψ ( A ) = A ∧ d A {\displaystyle \Psi (A)=A\wedge \mathrm {d} A} is invariant under A ↦ A + d f {\displaystyle A\mapsto A+\mathrm {d} f}