Def SemiNormedGroup.is_colimit_cokernel_cocone

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) …
Added SemiNormedGroup.is_colimit_cokernel_coconeView on Github →