Theorem Ideal.iSup_mul

Modification history

2025-06-11 15:07
Mathlib/RingTheory/Ideal/Operations.lean
chore(RingTheory/DedekindDomain): missing instances (#25613)
Added Ideal.iSup_mulView on Github →