mathlib3

b1b09eb3 - refactor(data/quot): Make more `setoid` arguments implicit (#11824)

refactor(data/quot): Make more `setoid` arguments implicit (#11824) Currently, not all of the `quotient` API can be used with non-instance setoids. This fixes it by making a few `setoid` arguments explicit rather than instances.