Theorem TwoSidedIdeal.matrix_bot

Modification history