Theorem Localization.liftOn_mk

Modification history