mathlib3

404e2c93 - add tutorial about zmod37 (#767)

add tutorial about zmod37 (#767) Reference to a mathlib file which no longer exists has been fixed, and a more user-friendly example of an equivalence relation has been added in a tutorial.