search for:
Module : Ideal
-- a binary operator
Synopsis:
Operator:
:
-- a binary operator
Input:
an instance of class
Module
.
an instance of class
Ideal
.
Output:
an instance of class
Module
.
Code:
-- ../m2/colon.m2:176 Module : Ideal := Module => (M,I) -> quotient(M,I)
search for: