mathlib
d23150d1 - chore(data/matrix/basic): generalize an instance (#18563)

Commit

2 years ago

chore(data/matrix/basic): generalize an instance (#18563)

Author

eric-wieser

eric-wieser

Parents

Loading