feat(Algebra/Category): P.Under ⊤ R has finite limits if P is stable under finite products and equalizers
#52453
Triggered via pull request
April 13, 2026 17:40
mathlib-dependent-issues[bot]
mathlib-dependent-issues[bot]
labeled
#36919
Status
Skipped
Total duration
1s
Artifacts
–
zulip_emoji_labelling.yaml
on: pull_request_target
set_pr_emoji
0s