Theorem Localization.liftOn₂_mk

Modification history