Skip to content
Bench output summary

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

Sign in to view logs

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

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

Triggered via issue February 11, 2025 23:40
@kim-emkim-em
commented on #21685 83e6d7e
Status Skipped
Total duration 2s
Artifacts –

bench_summary_comment.yml

on: issue_comment
Post summary of benchmarking results
0s
Post summary of benchmarking results
Fit to window
Zoom out
Zoom in