Maintainer merge

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

Sign in to view logs

Triggered via issue February 11, 2025 23:40

kim-em

commented on #21685 83e6d7e

Status Success

Total duration 13s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip