| choose | LAoP.Dist.Internal, LAoP.Dist |
| coerceNat | LAoP.Utils.Internal, LAoP.Utils |
| coerceNat2 | LAoP.Utils.Internal, LAoP.Utils |
| coerceNat3 | LAoP.Utils.Internal, LAoP.Utils |
| col | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Matrix.Type |
| 3 (Function) | LAoP.Matrix.Nat |
| columns | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Matrix.Type |
| 3 (Function) | LAoP.Matrix.Nat |
| comp | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
| 3 (Function) | LAoP.Matrix.Type |
| 4 (Function) | LAoP.Matrix.Nat |
| compRel | LAoP.Matrix.Internal |
| cond | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
| 3 (Function) | LAoP.Matrix.Type |
| 4 (Function) | LAoP.Matrix.Nat |
| connected | LAoP.Relation.Internal, LAoP.Relation |
| constant | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Matrix.Type |
| 3 (Function) | LAoP.Matrix.Nat |
| conv | LAoP.Relation.Internal, LAoP.Relation |
| coreflexive | LAoP.Relation.Internal, LAoP.Relation |
| Count | LAoP.Matrix.Internal, LAoP.Relation.Internal, LAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat |
| Countable | |
| 1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
| 2 (Type/Class) | LAoP.Matrix.Type |
| 3 (Type/Class) | LAoP.Matrix.Nat |
| 4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
| CountableDimensions | |
| 1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
| 2 (Type/Class) | LAoP.Matrix.Type |
| 3 (Type/Class) | LAoP.Matrix.Nat |
| CountableDimensionsN | |
| 1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
| 2 (Type/Class) | LAoP.Matrix.Type |
| 3 (Type/Class) | LAoP.Matrix.Nat |
| 4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
| CountableN | |
| 1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
| 2 (Type/Class) | LAoP.Matrix.Type |
| 3 (Type/Class) | LAoP.Matrix.Nat |
| 4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
| CountableNz | LAoP.Matrix.Nat |