mathlib3
feat(linear_algebra/matrix_group): introduce ```matrix_group``` and instances
#17608
Open
Open
feat(linear_algebra/matrix_group): introduce ```matrix_group``` and instances #17608
vasnesterov
wants to merge
3 commits into
master
from
matrix_group_examples
feat(linear_algebra/matrix_group): introduce ```matrix_group``` and i…
6af50267
refactor(linear_algebra/matrix_group): for lint
5f3b4e63
refactor(linear_algebra/matrix_group): for lint 2
1f21d36e
Reviewers
No reviews
Assignees
No one assigned
Labels
awaiting-author
undergrad
t-algebra
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub