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.