Separable isogeny (source code)

= Separable isogeny

A separable isogeny is an isogeny whose induced extension of function fields is separable. Its degree equals the number of geometric points in its kernel.