IsPPrimeValencedScheme

A scheme is called a $p'$-valenced scheme if every valency is coprime to $p$. IsPPrimeValencedScheme(R, p) returns whether R is $p'$-valenced.