Envy-cycles procedure

1. REDIRECT Envy-graph procedure

{{Redirect category shell|

{{R from move}}

}}