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
feat(data/zmod/basic): morphisms to zmod are surjective (deps: #3888) (#3889) ... and determined by their kernel