Theorem LocalizedModule.liftOn_mk

Modification history