Deprecate is_FunctionFieldElement
, is_FunctionFieldElement
#9015
Job | Run time |
---|---|
1h 24m 23s | |
1h 24m 23s |
is_FunctionFieldElement
, is_FunctionFieldElement
#9015
Job | Run time |
---|---|
1h 24m 23s | |
1h 24m 23s |