Theorem Matrix.adjugate_subsingleton

Modification history