Deprecate is_FunctionField - SemanticDiff

Commit

1 year ago

Deprecate is_FunctionField

References

#38289 - Deprecate `is_FunctionFieldElement`, `is_FunctionFieldElement`

Author

mkoeppe

mkoeppe

Committer

mkoeppe

mkoeppe

Parents

Loading