Theorem Ideal.mul_iSup

Modification history

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