Aperiodic and simple-group wreath-division towers

Source: arxiv:1111.1585, url:https://github.com/adii800/krohn-rhodes-lean/tree/8152fef3507406d2b4f4ed3760404ea88298e382 Authors: Aditya Rao Status: verified Main declarations: LeanPool.KrohnRhodes.krohn_rhodes_prime_decomposition Tags: semigroup-theory, finite-monoids, wreath-products, automata-theory, group-extensions MSC: 20M10, 20M35, 20E22