feat(FunctionField): a function field is finite over Fq(y) for transcendental y
#52164
Triggered via pull request
April 11, 2026 14:46
mathlib-dependent-issues[bot]
mathlib-dependent-issues[bot]
unlabeled
#37447
Status
Skipped
Total duration
1s
Artifacts
–
zulip_emoji_labelling.yaml
on: pull_request_target
set_pr_emoji
0s