refactor(SetTheory/Cardinal/Cofinality): deprecate StrictOrder.cof
#61788
Job | Run time |
---|---|
36s | |
1m 5s | |
1m 41s |
StrictOrder.cof
#61788
Job | Run time |
---|---|
36s | |
1m 5s | |
1m 41s |