Theorem TwoSidedIdeal.matrix_top

Modification history