Commit 2021-05-05 13:56 18af6b57
View on Github →feat(algebra/module): linear_equiv.refl.symm = refl
(#7493)
To be part of the bundled_basis
refactor
feat(algebra/module): linear_equiv.refl.symm = refl
(#7493)
To be part of the bundled_basis
refactor