Commit 2025-10-24 20:19 d9c991c1

View on Github →

feat(CategoryTheory): LeftBousfield.W is stable under transfinite compositions (#30509)

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Localization/BousfieldTransfiniteComposition.lean

Modified Mathlib/CategoryTheory/SmallObject/WellOrderInductionData.lean