Redirecting to Schwartz kernel theorem