Theorem LocalizedModule.lift_comp

Modification history