Def AlgebraCat.HasLimits.limitCone

Modification history