Commit 2023-09-21 09:16 0c7d6fa5

View on Github →

chore: only four spaces for subsequent lines (#7286)

Estimated changes

modified theorem Associates.normalize_out
modified theorem normalize_gcd
modified theorem normalize_lcm
modified theorem Functor.map_equiv_apply
modified theorem NeZero.natCast_ne
modified theorem Set.comp_rangeSplitting
modified theorem Subtype.coe_image_of_subset
modified theorem Subtype.image_preimage_coe
modified theorem UFModel.Agrees.size_eq
modified theorem SemidirectProduct.mul_def
modified theorem Function.factorsThrough_iff
modified theorem FreeCommRing.of_cons
modified theorem TopCat.hom_apply
modified theorem transpose_apply