Theorem Bimod.LeftUnitorBimod.hom_left_act_hom'

Modification history