mathlib3 documentation

ring_theory.ring_hom.finite

The meta properties of finite ring homomorphisms. #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.