Commit 2025-07-04 15:22 cd99652c

View on Github →

chore: change some (K : Type) to (K : Type*) (#26745) Change some (K : Type) to (K : Type*).

Estimated changes

Modified Mathlib/Algebra/Polynomial/PartialFractions.lean

Modified Mathlib/RingTheory/IntegralDomain.lean