IsAbsolutelyOGR
, for IsPermGroup 1.3-3 IsAbsolutelyOrbitalGraphRecognisable
, for IsPermGroup 1.3-3 IsOGR
, for IsPermGroup 1.3-1 IsOrbitalGraphRecognisable
, for IsPermGroup 1.3-1 IsStronglyOGR
, for IsPermGroup 1.3-2 IsStronglyOrbitalGraphRecognisable
, for IsPermGroup 1.3-2 OrbitalClosure
, for IsPermGroup 1.2-1 OrbitalGraphs
, for IsPermGroup 1.1-1 OrbitalIndex
, for IsPermGroup 1.2-2
generated by GAPDoc2HTML