Theorem Bimon_.toMon_Comon_ofMon_Comon_obj_one

Modification history