Theorem FractionalIdeal.inf_mul

Modification history

2025-06-11 15:07

Mathlib/RingTheory/DedekindDomain/Ideal.lean

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

Added FractionalIdeal.inf_mul View on Github →