Theorem Ideal.quotEquivOfEq_symm

Modification history