mathlib documentation

ring_theory.ring_hom.finite

The meta properties of finite ring homomorphisms. #