Commit 2025-03-12 08:26 d8118779

View on Github →

chore: adapt more whitespace (#22860) Found by #22760.

Estimated changes

Modified Mathlib/Algebra/Category/ModuleCat/EnoughInjectives.lean

Modified Mathlib/Analysis/SpecialFunctions/Complex/Log.lean

Modified Mathlib/Condensed/Discrete/Colimit.lean

modified def Condensed.finYoneda

modified theorem Condensed.isoLocallyConstantOfIsColimit_inv

modified def Condensed.lanCondensedSet

modified def Condensed.lanPresheafExt

modified theorem Condensed.lanPresheafExt_hom

modified theorem Condensed.lanPresheafExt_inv

modified def Condensed.lanSheafProfinite

Modified Mathlib/Condensed/Discrete/Module.lean

Modified Mathlib/RingTheory/Flat/Basic.lean