Theorem Ideal.matrix_monotone

Modification history