Theorem Ideal.map_idₐ

Modification history