Commit 2024-07-09 09:09 dfea83f7

View on Github →

chore: add missing spaces around = or := (#14554) Follow mathlib style slightly better: "Use spaces on both sides of ":", ":=" or infix operators." Automatically generated. Not exhaustive, as doing that everywhere has false positives with meta code.

Estimated changes

modified def NonUnitalAlgHom.comp
modified theorem Submonoid.mul_mem_units
modified theorem min_mul_min_le_mul_min_min
modified theorem Finset.sup'_mono
modified theorem Finsupp.prod_equivMapDomain
modified theorem Finsupp.toMultiset_eq_iff
modified theorem Nat.ascFactorial_of_sub
modified theorem Finsupp.restrictDom_apply
modified theorem IsCoprime.exists_SL2_col
modified theorem IsCoprime.exists_SL2_row
modified theorem TensorProduct.map_comm
modified theorem hasSum_iff_hasSum_compl