mathcomp/test_suite/output.v


1
2
3
4
5
6
7
8
9
10

From mathcomp Require Import
  all_ssreflect
  all_algebra
  all_field
  all_character
  all_fingroup
  all_solvable.

Open Scope group_scope.
Check @cyclic_pgroup_Aut_structure.