mathlib3

ad5729e3 - Add special case for single generator