Theorem Ideal.mk_mem_cotangentIdeal

Modification history