Theorem CategoryTheory.HomOrthogonal.matrixDecomposition_comp

Modification history