Maintainer merge (comment)

[Merged by Bors] - feat(CategoryTheory/ChosenFiniteProducts): Add `Mono` instances for lifts of mono for `ChosenFiniteProducts` #64108

Sign in to view logs

Triggered via issue October 9, 2024 14:36

joelriou

commented on #17581 b9cabbf

Status Skipped

Total duration 2s

Artifacts –

maintainer_merge_comment.yml

on: issue_comment

Ping maintainers on Zulip