Theorem IsLocalization.lift_of_comp

Modification history