Commit 2024-08-30 08:52 badfa9c2

View on Github →

style: some formatting fixes (#16263) Found by the pedantic linter.

Estimated changes

modified theorem Finset.prod_pow_eq_pow_sum
modified theorem Finset.piAntidiag_cons
modified theorem fn_min_mul_fn_max
modified theorem coe_addEquiv_lpPiLp
modified theorem Real.HasSum_rexp_HasProd
modified theorem Real.pow_lt_iff_lt_log
modified theorem Bool.toNat_beq_one
modified theorem Bool.toNat_bne_one
modified theorem Matrix.toRows₁_fromRows
modified theorem Matrix.toRows₂_fromRows
modified theorem Function.graph_id
modified def LeftCommutative
modified theorem FractionalIdeal.count_inv