Theorem Ideal.mem_leadingCoeff

Modification history