mathlib3
38eb719f - feat(data/matrix/notation): relax typeclass assumptions (#11429)

Commit

4 years ago

feat(data/matrix/notation): relax typeclass assumptions (#11429)

Author

madvorak

madvorak

Parents

Loading