Theorem Localization.liftOn_zero

Modification history