mathlib

700f186e - Fix bugs related to index and auto-generalisation