Learning proofs for the classification of nilpotent semigroups

Re-assign community