Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-21 13:01 e3409c6c

View on Github →

feat(data/zmod/basic): morphisms to zmod are surjective (deps: #3888) (#3889) ... and determined by their kernel

Estimated changes