implicit arguments in quotient.v, close #447

This comment, and the ones below, will not show up in the documentation.  Is this intentional?