refactor: tighten proof style from Mathlib PR review feedback#11

Navi Bot (project-navi-bot) merged 1 commit intomainProject-Navi/fd-formalization:mainfrom

refactor/proof-style-cleanupProject-Navi/fd-formalization:refactor/proof-style-cleanupCopy head branch name to clipboard