bot fix style

[Merged by Bors] - feat: `(f ⁻¹' t).encard = t.encard` if `f` is bijective #13460

Sign in to view logs

Triggered via issue February 11, 2025 23:40

kim-em

commented on #21685 83e6d7e

Status Success

Total duration 8s

Artifacts –

bot_fix_style.yaml

on: issue_comment

Fix style issues from lint