mathlib3

b51c0c68 - notation is mostly set up