mathlib3

5c98f4eb - Make `is_separable` an instance parameter