Set {
Triple (
Substitutions:
Set {
C --> Matrix,
D --> Matrix,
E --> Matrix,
F --> Matrix
}
ResultType: void
Assumptions:
Set {
m: A,
ret: Matrix,
mul: A --> B
} ),
Triple (
Substitutions:
Set {
C --> Matrix,
D --> Matrix,
E --> Matrix,
F --> Menge< Menge< Integer > >
}
ResultType: void
Assumptions:
Set {
m: A,
ret: Matrix,
mul: A --> B
} ),
Triple (
Substitutions:
Set {
C --> Menge< Menge< Integer > >,
D --> Matrix,
E --> Menge< Menge< Integer > >,
F --> Matrix
}
ResultType: void
Assumptions:
Set {
m: A,
ret: Menge< Menge< Integer > >,
mul: A --> B
} ),
Triple (
Substitutions:
Set {
C --> Menge< Menge< Integer > >,
D --> Matrix,
E --> Menge< Menge< Integer > >,
F --> Menge< Menge< Integer > >
}
ResultType: void
Assumptions:
Set {
m: A,
ret: Menge< Menge< Integer > >,
mul: A --> B
} ),
Triple (
Substitutions:
Set {
C --> Menge< Menge< Integer > >,
D --> Menge< Menge< Integer > >,
E --> Menge< Menge< Integer > >,
F --> Menge< Menge< Integer > >
}
ResultType: void
Assumptions:
Set {
m: A,
ret: Menge< Menge< Integer > >,
mul: A --> B
} )
}