Theorem Matrix.IsParabolic.neg

Modification history

2026-05-13 03:36

Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/FinTwo.lean

feat(UpperHalfPlane): define PGL action on the upper half-plane (#36330)

Added Matrix.IsParabolic.neg View on Github →