Revert "Mathlib, headers for no warnings on t0, t1, math"

This reverts commit 11104ef586b7aad9290692f59bf7a277da035952.
Revert "Revert "Mathlib, headers for no warnings on t0, t1, math""

This reverts commit 31e2c21fa00b45dd7361df21ba2e2671d6e19b88.