Changes between Version 79 and Version 80 of Ticket #10963


Ignore:
Timestamp:
08/14/13 08:50:20 (7 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10963 – Description

    v79 v80  
    22
    33- Support for full subcategories defined by an axiom (Finite,
    4   Infinite, FiniteDimensional, Commutative, Associative, Unital,
    5   Inverse, NoZeroDivisors, Division, Facade), and joins thereof:
     4  Infinite, Facade, Commutative, Associative, Unital,
     5  Inverse, NoZeroDivisors, Division, FiniteDimensional, Connected,
     6  WithBasis, Irreducible), and joins thereof:
    67
    78{{{