mathlib/gen/obsolete/cray
