Maintainer merge

chore: lake shake --add-public --keep-implied --keep-prefix --fix #250107

Sign in to view logs

Triggered via issue April 11, 2026 14:23

mathlib-merge-conflicts[bot]

commented on #37807 ab80b70

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip