Ore localization (source code)

= Ore localization
{c}
{wiki=Ore_condition}

Ore localization extends localization to suitable multiplicative subsets of noncommutative rings.