mathlib
4bb16a67 - chore(linear_algebra/basic): squeeze non-terminal simps (#17367)

Commit

3 years ago

chore(linear_algebra/basic): squeeze non-terminal simps (#17367)

Author

mcdoll

mcdoll

Parents

Loading