lint and suggest

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for `sum (fun n : ℕ ↦ x ^ n)` #137228

Sign in to view logs

Triggered via pull request December 21, 2025 02:37

vihdzp

synchronize #32645

vihdzp:card

Status Success

Total duration 2m 2s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

⚡