Specht property for the graded identities of the pair $(M_2(D), sl_2(D))$

Connections are not prepared for this record yet, or its source metadata has changed. The original record remains available while background snapshots are rebuilt.