mathlib3

0b2a7c24 - fix(*): Add a shorthand typeclass instance to try and make search faster