mathlib

35678c6a - trying to deal with fintype_inverse_systems again…