Dependencies for ideas-math-types-1.1

library