Theorem Ideal.quotientMap_algebraMap

Modification history