mathlib3

90319890 - chore(*): fix last line length and notation style linter errors (#10642)

chore(*): fix last line length and notation style linter errors (#10642) These are the last non-module doc style linter errors (from https://github.com/leanprover-community/mathlib/blob/master/scripts/style-exceptions.txt). Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>