Commit 2024-07-11 10:12 f2c8d8b6

View on Github →

chore: add missing spaces around : (#13658) Created automatically; then I manually checked the diff and reverted bad changes.

Estimated changes

modified theorem Subgroup.ofUnits_inf
modified theorem Subgroup.ofUnits_inf_units
modified theorem Subgroup.ofUnits_sSup
modified theorem Subgroup.ofUnits_sup_units
modified theorem Submonoid.units_inf
modified theorem Submonoid.units_sInf
modified structure LieHom
modified structure CategoryTheory.PrelaxFunctor
modified def Finsupp.filterAddHom
modified theorem Matrix.col_injective
modified theorem PNat.le_sub_one_of_lt
modified theorem MulAction.smul_fixedBy
modified def Ring.choose
modified theorem OrdinalApprox.gfpApprox_le
modified theorem IsMeagre.mono
modified theorem isClosed_preCantorSet
modified theorem IsClosed.HasSeparatingCover