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.
chore(category_theory/limits/types): cleanup (#3871)
Backporting some cleaning up work from prop_limits
, while it rumbles onwards.