Krohn–Rhodes theory
guillefix
19th November 2017 at 1:12pm