import ComplementedSubspace.RealMainTheorem

set_option pp.universes true
set_option pp.fullNames true
set_option pp.width 110

#print ComplementedSubspace.RealMainTheoremStatement
#print ComplementedSubspace.HasSeparatedRange
#print ComplementedSubspace.HasRealBanachLatticeOrder
#print ComplementedSubspace.BlockParameters
#print ComplementedSubspace.Ambient
#print ComplementedSubspace.Block
#print ComplementedSubspace.chiGL
#print ComplementedSubspace.lambdaGL
#print ComplementedSubspace.GLFactorization
#print ComplementedSubspace.chiDPR
#print ComplementedSubspace.lambdaDPR
#print ComplementedSubspace.unconditionalConstant
#print ComplementedSubspace.unconditionalBasisConstant
#print ComplementedSubspace.basisMultiplier
