feat: S2_SpecialSubgroups: prove D_sup_closure_w_eq_DW#14

AlexBrodbelt merged 1 commit into

AlexBrodbelt:mainAlexBrodbelt/DicksonsClassificationTheorem:mainfrom

arajasek:asr/prove_D_sup_closure_w_eq_DWarajasek/ClassificationOfFiniteSubgroupsOfPGL:asr/prove_D_sup_closure_w_eq_DWCopy head branch name to clipboard