Complementary bases in symplectic matrices and a proof that their determinant is one | Publicación