Theorem LinearMap.GeneralLinearGroup.congrLinearEquiv_trans'

Modification history

2025-08-19 14:37
Mathlib/LinearAlgebra/GeneralLinearGroup.lean
feat(LinearAlgebra/Projectivization): GL(V) action (#26811) …
Added LinearMap.GeneralLinearGroup.congrLinearEquiv_trans'View on Github →