Theorem Ideal.finite_mulSupport_coe

Modification history