Theorem Matrix.mem_specialOrthogonalGroup_fin_two_iff

Modification history