Commit 2021-04-09 22:57 309e3b08

View on Github →

feat(category_theory/subobjects): improvements to API (#6932) These additions have been useful while setting up homology.

Estimated changes