Commit 2026-04-29 15:47 9bc51f51
View on Github →refactor(Analysis/Complex/UpperHalfPlane): deprecate old GL2Pos stuff (#38700) The modular forms code previously used the subtype GL2Pos (2x2 matrices of positive determinant) for actions on the upper half-plane. This has now been changed by extending the action to all of GL(2, R), but some old no-longer-used instances and coercions were left behind. This deprecates them for later removal.