Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Bimod.right_unitor_Bimod.hom_left_act_hom'

Modification history