Commit 2022-10-10 21:29 f275d4b0

View on Github →

chore: long lines (#460)

Estimated changes

modified theorem Int.cast_negSucc
modified theorem Nat.cast_succ
modified theorem Nat.cast_zero
modified def Random.randBound
modified theorem Fin.neg_def
modified def Option.melim
modified def Option.mmap.{u,
modified theorem String.leftpad_length
modified theorem UFModel.Models.rank_eq
modified theorem eq_max
modified theorem decidable_eq_inr_neg
modified def Lean.Expr.modifyArgM
modified theorem Classical.nonempty_pi
modified theorem Pi.le_def
modified theorem Preorder.to_le_injective
modified theorem Prod.swap_lt_swap
modified def Tactic.Cache.get
modified def Tactic.DeclCache.mk
modified theorem Tactic.Ring.horner_pow
modified def SlimCheck.Gen.choose
modified def SlimCheck.Fin.shrink