Theorem Bimon_.ofMon_Comon_toMon_Comon_obj_counit

Modification history