Commit 2021-08-14 10:40 721f571a
View on Github →feat(linear_algebra/basic) : add a small lemma for simplifying a map between equivalent quotient spaces (#8640)
feat(linear_algebra/basic) : add a small lemma for simplifying a map between equivalent quotient spaces (#8640)