Theorem Algebra.discr_mul_isIntegral_mem_adjoin

Modification history