Revision #2349 → #3036 · back to history
addedRiesz–Fischer theoremc0f6c17e51ef
addedUniform boundedness principle2109a83ecfaa
addedFourier series of an L² function85b1a15440d9
addedOrthogonal complement is a closed subspacebe05bcf24d88
addedOrthogonal complement is antitone (monotone-reversing)9486458e54d2
addedCompact operator has convergent subsequence characterization11cbc150b1cd