Theorem Bimod.LeftUnitorBimod.hom_inv_id

Modification history