isQuotientOf -- whether one thing is a quotient of another

Ways to use isQuotientOf :

• isQuotientOf(Ring,QuotientRing), see isQuotientOf(Ring,Ring) -- whether one ring is a quotient of another
• isQuotientOf(Ring,Ring) -- whether one ring is a quotient of another
• isQuotientOf(Type,QuotientRing), see isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type
• isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type