Theorem comap_prime

Modification history