Theorem LocalizedModule.lift'_mk

Modification history