Theorem Bimon_.ofMon_Comon_ObjX_mul

Modification history