we should try to use .coerce_map_from() instead, so we get is_injective()/is_surjective() and friends right for Hom.natural_map().

Depends on #23184
Depends on #23211

CC: @xcaruso

Component: commutative algebra

Keywords: sd86.5, sd87

Author: David Roe, Julian Rüth

Branch/Commit: 382e2d1

Reviewer: Travis Scrimshaw, Aly Deines, William Stein

Issue created by migration from https://trac.sagemath.org/ticket/23204