Many-one degree (source code)

= Many-one degree

Two sets have the same many-one degree when each many-one reduces to the other.