Theorem Bimon_.toMon_Comon_ofMon_Comon_obj_mul

Modification history