renorm 5 1 Krohn Rhodes Theorem

Part of the Renormalization tutorial on Complexity Explorer. Go to renorm.complexityexplorer.org to learn more.