HoTT/HoTT — pull request #460 by mikeshulman (2014-09-05 05:23:10+00:00)
Title: generalize quotient-of-kernel factorization into quotient.v

This is a general fact about quotients of kernels.