comonoid objects in opposite category are monoids#2004

Alizter merged 2 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom

Alizter:ps/rr/comonoid_objects_in_opposite_category_are_monoidsAlizter/HoTT:ps/rr/comonoid_objects_in_opposite_category_are_monoidsCopy head branch name to clipboard