*): Show that whiskering left preserves limits. (#9581)

Commit

4 years ago

feat(category_theory/limits/preserves/*): Show that whiskering left preserves limits. (#9581)

Author

erdOne

Parents