Source: wikibot/bounded-inverse-theorem

= Bounded inverse theorem
{wiki=Bounded_inverse_theorem}