Theorem Ideal.mem_matrix

Modification history