Expert in math and proofs, specializing in MAT102 and provided PDF.