Theorem Ideal.finprod_heightOneSpectrum_factorization_coe

Modification history