preserves): convenience defs for things already there (#4933)

Commit

5 years ago

feat(category_theory/limits/preserves): convenience defs for things already there (#4933)

Author

b-mehta

Parents