bot fix style (comment)

perf: lower the priority of `toMul` and `toAdd` instances #9715

Sign in to view logs

Triggered via issue October 30, 2024 23:21

mathlib4-dependent-issues-bot

commented on #18464 c6c4ad2

Status Skipped

Total duration 2s

Artifacts –

bot_fix_style_comment.yaml

on: issue_comment

Fix style issues from lint