Theorem Ideal.comap_cotangentIdeal

Modification history