mathlib/gen/obsolete/d107obs
