mathlib

f3fac409 - feat(data/fin/basic): add a reflected instance (#15337)

feat(data/fin/basic): add a reflected instance (#15337) This helps with writing tactics to expand fixed-size matrices into their components. This instance is written using the same approach as the `int.has_reflect` instance.