i1 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
i2 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
id | LAoP.Utils.Internal, LAoP.Utils |
iden | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
ifD | LAoP.Dist.Internal, LAoP.Dist |
iff | LAoP.Relation.Internal, LAoP.Relation |
img | LAoP.Relation.Internal, LAoP.Relation |
implies | LAoP.Relation.Internal, LAoP.Relation |
injection | LAoP.Relation.Internal, LAoP.Relation |
injective | LAoP.Relation.Internal, LAoP.Relation |
intersection | LAoP.Relation.Internal, LAoP.Relation |
irreflexive | LAoP.Relation.Internal, LAoP.Relation |