Theorem Ideal.quotientEquivAlgOfEq_symm

Modification history