As this screenshot, display of `unit.star` is glitched.  OS is android. Here is the link. [matrix.pivot.list_transvec_col_mul_last_row_drop](https://leanprover-community.github.io/mathlib_docs/linear_algebra/matrix/transvection.html#matrix.pivot.list_transvec_col_mul_last_row_drop)
As this screenshot, display of
unit.staris glitched.OS is android.
Here is the link.
matrix.pivot.list_transvec_col_mul_last_row_drop