Theorem Matrix.of_mem_specialOrthogonalGroup_fin_two_iff

Modification history