reference. mathlib PR 16040 [pr-spin3]

✍️source

@misc{pr-spin3,
  title  = {mathlib PR 16040},
  author = {Miao, Jiale},
  year   = {2022},
  url    = {https://github.com/leanprover-community/mathlib/pull/16040}
}