Theorem Bimod.LeftUnitorBimod.hom_right_act_hom'

Modification history