Theorem RingHom.finite_stableUnderComposition

Modification history

2023-06-14 02:21
Mathlib/RingTheory/RingHom/Finite.lean
feat : port RingTheory.RingHom.Finite (#5013)
Added RingHom.finite_stableUnderCompositionView on Github →