Theorem Ideal.matrix_bot

Modification history