1) Some names seems to be a bit unconventional. If there is external code using them, you might consider keeping old names as synonyms. For example: - "The" in `TheAdditiveGroupsOfLibraryOfLNRsOfOrder` - "The" in `TheLibraryOfLNRsOnGroup` 2) Would it be useful to introduce `IsMillerMorenoGroup` as a synonym to `IsMinimalNonAbelianGroup`? Will help to find that connection in the help system.
TheAdditiveGroupsOfLibraryOfLNRsOfOrderTheLibraryOfLNRsOnGroupIsMillerMorenoGroupas a synonym toIsMinimalNonAbelianGroup? Will help to find that connection in the help system.