HoTT/HoTT — pull request #11 by jcmckeown (2012-06-06 15:48:42+00:00)
Title: two more checks in cancel_units_in

The edited [cancel_units_in] also checks for mapping by constant maps. It has already helped me.