Theorem Ideal.finite_setOf_absNorm_le

Modification history