Mathlib Changelog v4

Changelog About Github

Theorem RingHom.FiniteType.id

Modification history

2023-04-03 20:29

Mathlib/RingTheory/FiniteType.lean

feat: port RingTheory.FiniteType (#3241)

Added RingHom.FiniteType.id View on Github →