Theorem Matrix.cramer_subsingleton_apply

Modification history