real orthogonal group

[ریاضیات] گروه متعامد حقیقی