Mathlib v3 is deprecated. Go to Mathlib v4

Def SemiNormedGroup₁.cokernel_lift

Modification history

2021-07-30 07:20
src/analysis/normed_space/SemiNormedGroup/kernels.lean
feat(analysis/normed_space/SemiNormedGroup/kernel): Fix universes + add explicit (#8467) …
Modified SemiNormedGroup₁.cokernel_liftView on Github →
2021-07-27 19:34
src/analysis/normed_space/SemiNormedGroup/kernels.lean
feat(analysis/normed_space/SemiNormedGroup): has_cokernels (#7628) …
Added SemiNormedGroup₁.cokernel_liftView on Github →