Theorem Ideal.IsPrime.mem_pow_mul

Modification history

2024-03-28 10:26
Mathlib/RingTheory/DedekindDomain/Ideal.lean
change the order of operation in zsmulRec and nsmulRec (#11451) …
Added Ideal.IsPrime.mem_pow_mulView on Github →