# Characteristic and cardinality #

We prove some results relating characteristic and cardinality of finite rings

## Tags #

characteristic, cardinality, ring

Mathlib.Algebra.CharP.CharAndCard

We prove some results relating characteristic and cardinality of finite rings

characteristic, cardinality, ring