Comment by sandebert

ChatGPT: "The determinant identity is almost embarrassingly simple once one writes the map in the right way."