mathlib

339bd9a9 - chore(*): clean up several unnecessary let statements (#5257)

chore(*): clean up several unnecessary let statements (#5257) Cleans up a few `let`s and `letI`s and a `have` and a `set` that have made it into some proofs in the library but do not seem to do anything for the proof.