Def Matrix.planeConformalMatrix

Modification history

2024-07-05 09:32

Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/Basic.lean

chore: Split of GeneralLinearGroup (#14439) …

Modified Matrix.planeConformalMatrix View on Github →

2023-05-23 22:59

Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup.lean

feat: port LinearAlgebra.Matrix.GeneralLinearGroup (#4265)

Added Matrix.planeConformalMatrix View on Github →