Source: wikibot/locally-finite-operator

= Locally finite operator
{wiki=Locally_finite_operator}