mathlib

76090bee - chore(docs/install/debian): Remove old sentence [ci skip]