Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
say why J4 is not there
Browse files Browse the repository at this point in the history
  • Loading branch information
dimpase committed Jun 25, 2015
1 parent e977c17 commit d07e879
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/sage/groups/perm_gps/permgroup_named.py
Original file line number Diff line number Diff line change
Expand Up @@ -982,7 +982,8 @@ def _repr_(self):
class JankoGroup(PermutationGroup_unique):
def __init__(self, n):
r"""
The Janko Groups `J1, J2`, and `J3`.
Janko Groups `J1, J2`, and `J3`.
(Note that `J4` is too big to be treated here.)
INPUT:
Expand Down

0 comments on commit d07e879

Please sign in to comment.