Theorem Associated.pow_iff

Modification history

2025-09-01 13:46
Mathlib/RingTheory/IntegralClosure/IntegrallyClosed.lean
feat(DedekindDomain): Monoid of ideals is torsion-free (#28169) …
Added Associated.pow_iffView on Github →