From mathcomp Require Import all.

Open Scope group_scope.
Check @cyclic_pgroup_Aut_structure.