How to prove quantum circuit identity in Qiskit?
You can check whether the unitary matrices are equivalent.

def circuits_equivalent(a, b):
    au = Operator(a)
    bu = Operator(b)
    return au.dim == bu.dim and np.allclose(au.data, bu.data)