Type Definition scuttlebutt::field::DegreeModulo

pub type DegreeModulo<A, B> = <A as IsSubFieldOf<B>>::DegreeModulo;

The relative degree between two Finite Fields.

Let $A$ be a subfield of $B$. DegreeModulo<A, B> is DegreeModulo as defined by IsSubFieldOf.