Mathlib Changelog v4

Changelog About Github

Theorem RingHom.Finite.id

Modification history

2023-03-18 17:27

Mathlib/RingTheory/Finiteness.lean

feat: port RingTheory.Finiteness (#2811)

Added RingHom.Finite.id View on Github →