Commit 2025-06-20 15:48 f030f37d
View on Github →chore: split long file AkraBazzi.lean (#26193) This file was flagged as long at https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/long.20files and I'm splitting it by creating a new file SumTransform.lean that contains the material up to and including sum transforms.