| Fri, 06 May 2011 15:00:46 -0700 | Kevin Walker | more on piched product union axiom | changeset | files |
| Fri, 06 May 2011 14:56:13 -0700 | Kevin Walker | fixed statement of compatibility of product morphisms with decompositions (might still need some work) | changeset | files |