Maintainer merge

feat(FunctionField): a function field is finite over `Fq(y)` for transcendental `y` #250120

Sign in to view logs

Triggered via issue April 11, 2026 14:46

mathlib-dependent-issues[bot]

commented on #37447 fd68cd6

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip