Dependencies for ideas-math-types-1.0

library