Commit 2026-04-14 14:26 1692ef2d

View on Github →

chore(FunctionField): move inftyValuation and FqtInfty to RatFunc namespace (#38030) From this discussion. Move RatFunc results from FunctionField field to RatFunc folder and namespace. Note : I used Claude Code to produce the deprecations.

Estimated changes