mathlib

7d6d6018 - remove test that depends on deprecated files