mathlib

i was bored so i decided to make this if you find it intresting. don't. mkhdev does not hold liabilities for any amount of mental problems or health issues caused by reading the code to this math library.