feat(FunctionField): a function field is finite over Fq(y) for transcendental y
#201418
Triggered via issue
April 11, 2026 14:46
mathlib-dependent-issues[bot]
Status
Success
Total duration
8s
Artifacts
–
bot_fix_style.yaml
on: issue_comment
Fix style issues from lint
5s