Documentation

Mathlib.GroupTheory.OreLocalization.Cardinality

Cardinality of Ore localizations #

This file contains some results on cardinality of Ore localizations.

TODO #