bot fix style

feat(Set): lemmas about set difference #19863

Sign in to view logs

Triggered via issue February 25, 2025 12:19

apnelson1

commented on #22253 a96bee0

Status Success

Total duration 12s

Artifacts –

bot_fix_style.yaml

on: issue_comment

Fix style issues from lint