Commit 2020-04-26 09:29 40e97d37
View on Github →feat(topology/algebra/module): ker, range, cod_restrict, subtype_val, coprod (#2525)
Also move smul_right
to general_ring
and define some
maps/equivalences useful for the inverse/implicit function theorem.