images): some explicit instances of has_image_map (#9977)

Commit

4 years ago

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

Author

jcommelin

Parents