Total quotient ring

Summary