isogeny

not defined yet