Hi Christian!
On Thu, Jun 04, 2015 at 03:52:57PM -0500, Christian Stump wrote:
> But if I add a method CoxeterGroups().Finite().super_categories
> returning that,
For an axiom category like CoxeterGroups.Finite, the method
super_categories is implemented to automatically deduce the super
Great, that worked -- thanks Nicolas!
Here is one more issue, is that what I should expect, or should I
change something there? (Should "Category of finite groups" still be
there?
Thanks again,
Christian
Failed example:
FiniteCoxeterGroups().super_categories()
Expected:
[Category of
