Theorem Bimon_.ofMon_Comon_ObjX_one

Modification history