Theorem RingHom.finite_respectsIso

Modification history

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