Check PR titles

[Merged by Bors] - feat(GroupTheory/IndexNSmul): add results on multiplication-by-n in AddCommGroups #19721

Sign in to view logs

Triggered via pull request April 10, 2026 15:14

mathlib-bors[bot]

edited #36494

Status Skipped

Total duration 1s

Artifacts –

check_pr_titles.yaml

on: pull_request_target