Theorem FractionalIdeal.mul_inf

Modification history

2025-06-11 15:07

Mathlib/RingTheory/DedekindDomain/Ideal.lean

chore(RingTheory/DedekindDomain): missing instances (#25613)

Added FractionalIdeal.mul_inf View on Github →