HomeSearchLibrary
Bounded linear map | OmniWiki