Commit 2024-03-16 16:28 27d3439f
View on Github →chore: prevent API leakage on SimplexCategory (#11395)
This PR removes the simps
attribute in the definition of the category structure on SimplexCategory
so as to prevent API leakage. Better suited simp
lemmas are added. The definition of SimplexCategory.const
is also generalized in order to describe any constant map in SimplexCategory
.