Factory.Data.QuotientRing

Type-classes

class QuotientRing q

Functions

quot'

rem'

Predicates

areCongruentModulo

isDivisibleBy