Source: wikibot/continuous-linear-operator

= Continuous linear operator
{wiki=Continuous_linear_operator}