Definition of orthogonal basis of a (sub)space

Created almost 9 years ago