Skip to content

[Merged by Bors] - chore(FunctionField): move inftyValuation and FqtInfty to RatFunc namespace #288535

[Merged by Bors] - chore(FunctionField): move inftyValuation and FqtInfty to RatFunc namespace

[Merged by Bors] - chore(FunctionField): move inftyValuation and FqtInfty to RatFunc namespace #288535

Annotations

1 warning

ci (fork)  /  Lint style

succeeded Apr 14, 2026 in 2m 1s