Theorem Ideal.prod.ext_iff

Modification history