mathlib3
ae690b0c - refactor(linear_algebra/{general,special}_linear_group): move to matrix subfolder (#18344)

Commit

2 years ago

refactor(linear_algebra/{general,special}_linear_group): move to matrix subfolder (#18344) This frees up `linear_algebra/general_linear_group` to be about `linear_map.general_linear_group`.

Author

eric-wieser

Parents

11b92770

mathlib3 ae690b0c - refactor(linear_algebra/{general,special}_linear_group): move to matrix subfolder (#18344)

mathlib3
ae690b0c - refactor(linear_algebra/{general,special}_linear_group): move to matrix subfolder (#18344)