Mathlib Changelog v4

Changelog About Github

Theorem AlgHom.FiniteType.id

Modification history

2023-04-03 20:29

Mathlib/RingTheory/FiniteType.lean

feat: port RingTheory.FiniteType (#3241)

Added AlgHom.FiniteType.id View on Github →