Deprecate is_Category, is_Endset, is_Homset, is_Parent, is_RingHomset, is_SimplicialComplexHomset
#400
| Job | Run time |
|---|---|
| 15m 16s | |
| 15m 16s |