Definition of orthogonal basis of a (sub)space

Created over 8 years ago