Theorem Bimod.LeftUnitorBimod.inv_hom_id

Modification history