mathlib

13eea4c3 - chore(category_theory/images): cleanup (#3314)

chore(category_theory/images): cleanup (#3314) Just some cleanup, and adding two easy lemmas. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>