sage
c708e2cc - src/sage/categories/category_with_axiom.py: Undo unintended change

Commit

2 years ago

src/sage/categories/category_with_axiom.py: Undo unintended change

References

#35945 - `sage.categories`: Update `# needs`

Author

mkoeppe

mkoeppe

Committer

mkoeppe

mkoeppe

Parents

Loading