mathlib
f8c79b0a - doc(linear_algebra/std_basis): add a missing backtick (#19025)

Commit

2 years ago

doc(linear_algebra/std_basis): add a missing backtick (#19025) Co-authored-by: Giovanni Mascellani <giovanni@mascellani.eu>

Author

giomasce

Parents