Theorem Matrix.det_reindexLinearEquiv_self

Modification history