mathlib3

985f4efe - equivalence in fintype_inverse_system