mathlib
3793e329 - feat(data/matrix/pequiv): Added `to_pequiv_matrix_mul` (#16732)

Commit
3 years ago
feat(data/matrix/pequiv): Added `to_pequiv_matrix_mul` (#16732) Co-authored-by: Jamie Reason <95385925+jreaso@users.noreply.github.com>
Author
Parents
Loading