Shrinking Schauder basis (source code)

= Shrinking Schauder basis

A Schauder basis is shrinking when its <dual sequence of a Schauder basis>[dual sequence] is a Schauder basis of the whole dual space. Every Schauder basis of a <reflexive Banach space> is shrinking.