mathlib

d2bac998 - adjunction/mates: new lemmas/easy defs