Independence up to isomorphism

Let $H^{\prime }$ be another full bisolution matrix with the same graded antisymmetric part and the same Hadamard singularity class. Its auxiliary blocks obey the actual slot equations. Then $d=H^{\prime }-H$ is smooth and graded symmetric.