Deprecate is_SchemeMorphism
, is_SchemeTopologicalPoint
#13876
Job | Run time |
---|---|
10m 47s | |
10m 24s | |
38m 2s | |
38m 15s | |
39m 40s | |
16m 1s | |
18m 33s | |
2h 51m 42s |
is_SchemeMorphism
, is_SchemeTopologicalPoint
#13876
Job | Run time |
---|---|
10m 47s | |
10m 24s | |
38m 2s | |
38m 15s | |
39m 40s | |
16m 1s | |
18m 33s | |
2h 51m 42s |