Theorem Q60596.comap_C_kIdeal

Modification history