Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-29 20:37 9aec6df4

View on Github →

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

Estimated changes