Theorem Ideal.Factors.finrank_pow_ramificationIdx

Modification history