Closed saraedum closed 10 months ago
so it is compatible with the category changes in sage-flatsurf
Checklist
doc/news/
doc/geometry
doc/graphical
Documentation preview for this PR is ready! :tada: Built with commit: 77cb06eaf89cfd8d9311324a7d5c999bb8be3caf
so it is compatible with the category changes in sage-flatsurf
Checklist
doc/news/
.doc/geometry
ordoc/graphical
. Nothing new.