-
Leonard Guetta authored
Ouf, Proposition 1.3.5 is done. I need to wrap up this section with somme additional commentary on the weight of units and the name 'counting function'. I then need to move Examples 1.3.7 and 1.3.8 in the next section on inductive definition of free oo-categories
0c0884e9