Theorem Ideal.quotientEquiv_symm_mk

Modification history