Commit 2025-05-12 23:33 165f83af
View on Github →refactor(Analysis/Complex/UpperHalfPlane): split off Moebius action (#24824)
Split up Mathlib.Analysis.Complex.UpperHalfPlane.Basic
into one file which is really basic (just elementary definitions) and another which does the GL(2, R)^+ action.