mathlib

0d5f909c - Merge branch 'image_lemma' into subobject_revisions