3 search results for "tag:"keyword:finite groups""

Showing 1 - 3
  1. coq-mathcomp-odd-order

    No documentation

    The formal proof of the Feit-Thompson theorem
    keyword:finite groups keyword:Feit Thompson theorem keyword:small scale reflection keyword:mathematical components keyword:odd order theorem
    Jeremy Avigad <> Andrea Asperti <> Stephane Le Roux <> Yves Bertot <> Laurence Rideau <> et al.
    2.2.0
    CeCILL-B
    Used by 0 other packages
    10 May 2025
  2. rocq-mathcomp-fingroup

    No documentation

    Mathematical Components Library on finite groups
    keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.fingroup
    The Mathematical Components team
    2.4.0
    CECILL-B
    Used by 2 other packages
    15 Apr 2025
  3. rocq-mathcomp-solvable

    No documentation

    Mathematical Components Library on finite groups (II)
    keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.solvable
    The Mathematical Components team
    2.4.0
    CECILL-B
    Used by 2 other packages
    15 Apr 2025