Theorem RingHom.Finite.comp

Modification history

2023-04-28 23:45

Mathlib/RingTheory/Finiteness.lean

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

Modified RingHom.Finite.comp View on Github →

2023-03-18 17:27

Mathlib/RingTheory/Finiteness.lean

feat: port RingTheory.Finiteness (#2811)

Added RingHom.Finite.comp View on Github →