Theorem Bimod.RightUnitorBimod.inv_hom_id

Modification history