mathlib

30faebd0 - Add another test case for constructor naming