mathlib3

63dffcae - chore(linear_algebra/exterior_algebra): Use ring_quot