Rename fdvses to invariant. Prove that conjugate linear operators have the same char poly
Prove the det of an inverse is the inverse of the det