Commit 2023-04-28 23:45 9520d971

View on Github →

chore: forward-port leanprover-community/mathlib#18880 (#3717)

Estimated changes

Modified Mathlib/RingTheory/Finiteness.lean

modified theorem Module.Finite.trans

modified theorem RingHom.Finite.comp