mathlib/gen/s
