Theorem IsLocalization.lift_id

Modification history