Theorem Matrix.det_comm'

Modification history