images): some explicit instances of has_image_map

Commit

4 years ago

feat(category_theory/limits/shapes/images): some explicit instances of has_image_map

Author

jcommelin

Parents