Theorem Associated.of_eq

Modification history

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