mathlib/gen/obsolete/z021
