Theorem Ideal.fg_ker_comp

Modification history