search for:
isQuotientOf
-- whether one thing is a quotient of another
Class of returned value:
Boolean
-- the class of Boolean valuesWays to use
isQuotientOf
:
isQuotientOf
(
QuotientRing
,
Ring
)
isQuotientOf
(
Ring
,
Ring
)
search for:
![[top]](top.gif)
![[index]](index.gif)