Commit 2020-08-20 21:33 9f525c74

View on Github →

chore(category_theory/limits/types): cleanup (#3871) Backporting some cleaning up work from prop_limits, while it rumbles onwards.

Estimated changes