mathlib

adef1076 - Apply suggestions from code review

Apply suggestions from code review Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com> Co-authored-by: Gabriel Ebner <gebner@gebner.org>