tower): `span A s = span R s` if `R → A` is surjective (#13042)

Commit

3 years ago

feat(algebra/algebra/tower): `span A s = span R s` if `R → A` is surjective (#13042)

Author

Vierkantor

Parents